#414 update description field for auto-generated tests

informalsystems · Sep 25, 2020 · 600f31b · 600f31b
1 parent 362d0e3
commit 600f31b
Show file tree

Hide file tree

Showing 9 changed files with 410 additions and 5,956 deletions.
diff --git a/...client/tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.json b/...client/tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustFailure.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_Test2NotEnoughTrustFailure.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/...client/tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.json b/...client/tests/support/model_based/single_step/MC4_4_faulty_Test2NotEnoughTrustSuccess.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_Test2NotEnoughTrustSuccess.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/...client/tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.json b/...client/tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustFailure.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_Test3NotEnoughTrustFailure.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/...client/tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.json b/...client/tests/support/model_based/single_step/MC4_4_faulty_Test3NotEnoughTrustSuccess.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_Test3NotEnoughTrustSuccess.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestFailure.json b/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestFailure.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_TestFailure.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.json b/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestHeaderFromFuture.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_TestHeaderFromFuture.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.json b/light-client/tests/support/model_based/single_step/MC4_4_faulty_TestSuccess.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_TestSuccess.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {

diff --git a/...client/tests/support/model_based/single_step/MC4_4_faulty_TestUntrustedBeforeTrusted.json b/...client/tests/support/model_based/single_step/MC4_4_faulty_TestUntrustedBeforeTrusted.json
@@ -1,5 +1,5 @@
 {
-  "description": "auto-generated from Apalache counterexample",
+  "description": "MC4_4_faulty_TestUntrustedBeforeTrusted.json; auto-generated from Apalache counterexample",
   "initial": {
     "signed_header": {
       "header": {