Skip to content

Commit 18546c5

Browse files
aminmfaminmf
committed
no jscover used instrumentation
1 parent a57229a commit 18546c5

File tree

11 files changed

+94
-6
lines changed

11 files changed

+94
-6
lines changed

‎input/HotelReservation/validation_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/SimpleTodo/app_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/phormer/addPhoto_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/phormer/admin_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/phormer/concolic.htm‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
<!DOCTYPE html> <html> <head> <script src="help_instrumented.js"> </script> <script src="jquery-1.11.0.min.js"></script></head> <body> <div id="confixTestFixture"> </div> </body> </html>
1+
<!DOCTYPE html> <html> <head> <script src="addPhoto_instrumented.js"> </script> <script src="jquery-1.11.0.min.js"></script></head> <body> <div id="confixTestFixture"> </div> </body> </html>

‎input/phormer/help_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/phormer/phorm_instrumented.js‎

Lines changed: 12 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/phormer/skeleton_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎input/sudoku/game_instrumented.js‎

Lines changed: 11 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎src/main/java/PhormerConfixRunner.java‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,10 +16,10 @@ public class PhormerConfixRunner {
1616

1717

1818
private static String jsFolderNameToTest = "phormer"; // the folder should be available in the "input/" directory
19-
//private static String jsNameToTest = "phorm.js";
20-
private static String jsNameToTest = "help.js";
19+
private static String jsNameToTest = "admin.js";
2120
//private static String jsNameToTest = "addPhoto.js";
22-
//private static String jsNameToTest = "admin.js";
21+
//private static String jsNameToTest = "phorm.js";
22+
//private static String jsNameToTest = "help.js";
2323
//private static String jsNameToTest = "skeleton.js";
2424

2525

0 commit comments

Comments
 (0)