Regen expected.

sireum · Sep 13, 2024 · 0e73b3b · 0e73b3b
1 parent 3aaaec0
commit 0e73b3b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/checkVersions.sc b/bin/checkVersions.sc
@@ -17,7 +17,7 @@ def runGit(args: ISZ[String], path: Os.Path): String = {
 }
 
 val url = runGit(ISZ("git", "config", "--get", "remote.origin.url"), SIREUM_HOME)
-if (url != "https://github.com/sireum/kekinian.git" && url != "https://github.com/sireum/kekinian") {
+if (url != "https://github.com/sireum/kekinian.git" && url != "https://github.com/sireum/kekinian" &&  url != "git@github.com:sireum/kekinian.git") {
   if (Os.env("GITLAB_CI").isEmpty && Os.env("GITHUB_ACTIONS").isEmpty) {
     println(s"Script requires SIREUM_HOME to point to a kekinian checkout rather than ${url}: ${(Os.slashDir / "checkVersions.sc").toUri}")
   }

diff --git a/jvm/src/test b/jvm/src/test
+5 −5		resources/expected/CodeGenTest_Base/arrays--Linux.json
+3 −3		resources/expected/CodeGenTest_Base/bit_codec--JVM.json
+5 −5		resources/expected/CodeGenTest_Base/bit_codec--Linux-excludesImpl.json
+5 −5		resources/expected/CodeGenTest_Base/bit_codec--Linux.json
+4 −4		resources/expected/CodeGenTest_Base/bit_codec--SeL4-excludesImpl.json
+4 −4		resources/expected/CodeGenTest_Base/bit_codec--SeL4.json
+3 −3		resources/expected/CodeGenTest_Base/building_control_gen_mixed--JVM--runtime-monitoring.json
+1 −1		resources/expected/CodeGenTest_Base/building_control_gen_mixed--JVM-Do-not-embed-art.json
+3 −3		resources/expected/CodeGenTest_Base/building_control_gen_mixed--JVM-Embed-Art.json
+5 −5		resources/expected/CodeGenTest_Base/building_control_gen_mixed--Linux-Embed-Art-SharedMemory-Excludes.json
+5 −5		resources/expected/CodeGenTest_Base/building_control_gen_mixed--Linux-Embed-Art-SharedMemory.json
+4 −4		resources/expected/CodeGenTest_Base/building_control_gen_mixed--SeL4.json
+3 −3		resources/expected/CodeGenTest_Base/datatype-examples--JVM.json
+5 −5		resources/expected/CodeGenTest_Base/datatype-examples--Linux.json
+3 −3		resources/expected/CodeGenTest_Base/isolette--JVM.json
+5 −5		resources/expected/CodeGenTest_Base/isolette--Linux.json
+4 −4		resources/expected/CodeGenTest_Base/isolette--SeL4.json
+3 −3		resources/expected/CodeGenTest_Base/nested_feature_groups--JVM.json
+3 −3		resources/expected/CodeGenTest_Base/pca-pump--JVM.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_mixed--SeL4-excludesImpl.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_mixed--SeL4.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_periodic--SeL4-excludesImpl.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_periodic--SeL4.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_sporadic--SeL4-excludesImpl.json
+4 −4		resources/expected/CodeGenTest_Base/producer_filter_consumer_sporadic--SeL4.json
+3 −3		resources/expected/CodeGenTest_Base/uav_alt--JVM.json
+5 −5		resources/expected/CodeGenTest_Base/uav_alt--Linux.json
+3 −3		resources/expected/CodeGenTest_Base/urgency--JVM.json
+5 −5		resources/expected/CodeGenTest_Base/urgency--Linux.json
+4 −4		resources/expected/CodeGenTest_Base/wms--SeL4.json
+5 −5		resources/expected/CodegenTest_CASE/VPM_ben--Linux.json
+4 −4		resources/expected/CodegenTest_CASE/VPM_ben--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/attestation-gate--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_data-port-periodic_domains_VM__both_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_data-port-periodic_domains_VM__receiver_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_data-port-periodic_domains_VM__sender_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_data_port_periodic_domains--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_event_data_port_periodic_domains--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_event_data_port_periodic_domains_VM__both_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_event_data_port_periodic_domains_VM__receiver_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_event_data_port_periodic_domains_VM__sender_vm--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/test_event_port_periodic_domains--SeL4.json
+5 −5		resources/expected/CodegenTest_CASE/uav_june_step6--Linux.json
+4 −4		resources/expected/CodegenTest_CASE/uav_june_step6--SeL4.json
+4 −4		resources/expected/CodegenTest_CASE/vm-with-multiple-threads--SeL4.json
+3 −3		resources/expected/GumboTest/RTS-aadl--JVM.json
+3 −3		resources/expected/GumboTest/compute-entrypoint--JVM.json
+3 −3		resources/expected/GumboTest/data-invariants--JVM.json
+3 −3		resources/expected/GumboTest/enum-test--JVM.json
+3 −3		resources/expected/GumboTest/initialize-entrypoint--JVM.json
+3 −3		resources/expected/GumboTest/integration-contracts--JVM.json
+3 −3		resources/expected/GumboTest/isolette--JVM.json
+4 −4		resources/expected/HamrTranspileTests/HamrTranspileTests_attestation-gate--SeL4.json
+5 −5		resources/expected/HamrTranspileTests/HamrTranspileTests_building_control_gen_mixed--Linux.json
+1 −1		scala/org/sireum/hamr/codegen/test/CodegenBehaviorTest.scala
+1 −1		scala/org/sireum/hamr/codegen/test/CodegenTest.scala