Automatically run smoke tests when a contributor modifies a module or its (TLA+) test.

lemmy · web-flow · commit 757f3b4b8e49 · 2022-02-08T03:53:54.000Z
[IDE]
diff --git a/.smoke/SmokeBagsExt.cfg b/.smoke/SmokeBagsExt.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeBagsExt.tla b/.smoke/SmokeBagsExt.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeBagsExt -------------------------
+EXTENDS BagsExtTests
+
+=============================================================================
diff --git a/.smoke/SmokeBagsExtTests.cfg b/.smoke/SmokeBagsExtTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeBagsExtTests.tla b/.smoke/SmokeBagsExtTests.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeBagsExtTests -------------------------
+EXTENDS BagsExtTests
+
+=============================================================================
diff --git a/.smoke/SmokeBitwise.cfg b/.smoke/SmokeBitwise.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeBitwise.tla b/.smoke/SmokeBitwise.tla
@@ -0,0 +1,4 @@
+---------------------------- MODULE SmokeBitwise ----------------------------
+EXTENDS BitwiseTests
+
+=============================================================================
diff --git a/.smoke/SmokeBitwiseTests.cfg b/.smoke/SmokeBitwiseTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeBitwiseTests.tla b/.smoke/SmokeBitwiseTests.tla
@@ -0,0 +1,4 @@
+---------------------------- MODULE SmokeBitwiseTests ----------------------------
+EXTENDS BitwiseTests
+
+=============================================================================
diff --git a/.smoke/SmokeCSV.cfg b/.smoke/SmokeCSV.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeCSV.tla b/.smoke/SmokeCSV.tla
@@ -0,0 +1,5 @@
+---------------------------- MODULE SmokeCSV ----------------------------
+EXTENDS CSVTests
+  
+=============================================================================
+                                                                    
diff --git a/.smoke/SmokeCSVTests.cfg b/.smoke/SmokeCSVTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeCSVTests.tla b/.smoke/SmokeCSVTests.tla
@@ -0,0 +1,5 @@
+---------------------------- MODULE SmokeCSVTests ----------------------------
+EXTENDS CSVTests
+  
+=============================================================================
+                                                                    
diff --git a/.smoke/SmokeCombinatorics.cfg b/.smoke/SmokeCombinatorics.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeCombinatorics.tla b/.smoke/SmokeCombinatorics.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeCombinatorics -------------------------
+EXTENDS CombinatoricsTests
+
+=============================================================================
diff --git a/.smoke/SmokeCombinatoricsTests.cfg b/.smoke/SmokeCombinatoricsTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeCombinatoricsTests.tla b/.smoke/SmokeCombinatoricsTests.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeCombinatoricsTests -------------------------
+EXTENDS CombinatoricsTests
+
+=============================================================================
diff --git a/.smoke/SmokeFiniteSetsExt.cfg b/.smoke/SmokeFiniteSetsExt.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFiniteSetsExt.tla b/.smoke/SmokeFiniteSetsExt.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeFiniteSetsExt -------------------------
+EXTENDS FiniteSetsExtTests
+
+=============================================================================
diff --git a/.smoke/SmokeFiniteSetsExtTests.cfg b/.smoke/SmokeFiniteSetsExtTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFiniteSetsExtTests.tla b/.smoke/SmokeFiniteSetsExtTests.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeFiniteSetsExtTests -------------------------
+EXTENDS FiniteSetsExtTests
+
+=============================================================================
diff --git a/.smoke/SmokeFolds.cfg b/.smoke/SmokeFolds.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFolds.tla b/.smoke/SmokeFolds.tla
@@ -0,0 +1,4 @@
+----------------------------- MODULE SmokeFolds ----------------------------
+EXTENDS FoldsTests
+
+=============================================================================
diff --git a/.smoke/SmokeFoldsTests.cfg b/.smoke/SmokeFoldsTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFoldsTests.tla b/.smoke/SmokeFoldsTests.tla
@@ -0,0 +1,4 @@
+----------------------------- MODULE SmokeFoldsTests ----------------------------
+EXTENDS FoldsTests
+
+=============================================================================
diff --git a/.smoke/SmokeFunctions.cfg b/.smoke/SmokeFunctions.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFunctions.tla b/.smoke/SmokeFunctions.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeFunctions -------------------------
+EXTENDS FunctionsTests
+
+=============================================================================
diff --git a/.smoke/SmokeFunctionsTests.cfg b/.smoke/SmokeFunctionsTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeFunctionsTests.tla b/.smoke/SmokeFunctionsTests.tla
@@ -0,0 +1,4 @@
+------------------------- MODULE SmokeFunctionsTests -------------------------
+EXTENDS FunctionsTests
+
+=============================================================================
diff --git a/.smoke/SmokeGraphs.cfg b/.smoke/SmokeGraphs.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeGraphs.tla b/.smoke/SmokeGraphs.tla
@@ -0,0 +1,7 @@
+------------------------- MODULE SmokeGraphs -------------------------
+EXTENDS GraphsTests
+
+=====================================================================
+\* Modification History
+\* Last modified Tue Dec 21 15:55:45 PST 2021 by Markus Kuppe
+\* Created Mon Dec 20 20:55:45 PST 2021 by Markus Kuppe
diff --git a/.smoke/SmokeGraphsTests.cfg b/.smoke/SmokeGraphsTests.cfg
@@ -0,0 +1 @@
+
diff --git a/.smoke/SmokeGraphsTests.tla b/.smoke/SmokeGraphsTests.tla
@@ -0,0 +1,7 @@
+------------------------- MODULE SmokeGraphsTests -------------------------
+EXTENDS GraphsTests
+
+=====================================================================
+\* Modification History
+\* Last modified Tue Dec 21 15:55:45 PST 2021 by Markus Kuppe
+\* Created Mon Dec 20 20:55:45 PST 2021 by Markus Kuppe
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -1,6 +1,8 @@
 {
+    "tlaplus.smoke.prefix.path": "../.smoke/",
+    "tlaplus.smoke.prefix.name": "Smoke",
     "tlaplus.tlc.modelChecker.options": "-deadlock -noTE",
-    "tlaplus.java.options": "-XX:+UseParallelGC",
+    "tlaplus.java.options": "-XX:+UseParallelGC -DTLA-Library=/workspaces/CommunityModules/.smoke/:/workspaces/CommunityModules/modules/:/workspaces/CommunityModules/tests -Dtlc2.overrides.TLCOverrides=tlc2.overrides.TLCOverrides -cp /workspaces/CommunityModules/tlc/tla2tools.jar:/workspaces/CommunityModules/build/modules:/workspaces/CommunityModules/build/deps",
     "tlaplus.java.home": "/home/codespace/.java/current/",
     "[tlaplus]": {"editor.codeActionsOnSave": {"source": true} },
     "breadcrumbs.enabled": false,
