From 3265fa9f79737087b0a6dfc45862e4959afe8c90 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Fri, 10 Jan 2020 10:01:10 -0800 Subject: [PATCH] Yay, I broke the build with b91336c0d14f3cfa59807e9a5c3a452993507483. [Tests][Toolbox] --- .../EndtoEnd/TLA.End.To.End.Example.test | 6 +++--- .../TLA.Test.Parameters.ctx | 16 ++++++++-------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/org.lamport.tla.toolbox.product.uitest/EndtoEnd/TLA.End.To.End.Example.test b/org.lamport.tla.toolbox.product.uitest/EndtoEnd/TLA.End.To.End.Example.test index cedf06a776..ef2299f33c 100644 --- a/org.lamport.tla.toolbox.product.uitest/EndtoEnd/TLA.End.To.End.Example.test +++ b/org.lamport.tla.toolbox.product.uitest/EndtoEnd/TLA.End.To.End.Example.test @@ -5,8 +5,8 @@ Element-Type: testcase Element-Version: 3.0 External-Reference: Id: _0133MAldEem_kewt0eDFQIQ -Runtime-Version: 2.4.0.201902010011 -Save-Time: 10/14/19, 1:21 PM +Runtime-Version: 2.4.3.201909171500 +Save-Time: 1/10/20, 9:22 AM Testcase-Type: ecl ------=_.content-0a7243a0-75d3-3d5f-9791-539de0e5b7ac @@ -18,7 +18,7 @@ try -command { get-view "Welcome View" | get-button "Missionaries and Cannibals(TLA+)" | click get-window -class WizardDialog | get-button $TLA-BUTTON-FINISH | click get-view $TLA-VIEW-SPEC-EXPLORER | get-tree - | select "MissionariesAndCannibals \\[ MissionariesAndCannibals.tla \\]/models/Model_1" | double-click + | select "MissionariesAndCannibals/models/Model_1" | double-click // Run model checking. get-editor $TLA-MODEL-ONE | get-button $TLA-BUTTON-RUN-TLC | click diff --git a/org.lamport.tla.toolbox.product.uitest/TLA.Test.Parameters.ctx b/org.lamport.tla.toolbox.product.uitest/TLA.Test.Parameters.ctx index 1071b1db24..f9115a6608 100644 --- a/org.lamport.tla.toolbox.product.uitest/TLA.Test.Parameters.ctx +++ b/org.lamport.tla.toolbox.product.uitest/TLA.Test.Parameters.ctx @@ -5,14 +5,14 @@ Element-Name: TLA.Test.Parameters Element-Type: context Element-Version: 2.0 Id: _zmZVMP5NEeilFekyyVb9lA -Runtime-Version: 2.4.0.201902010011 -Save-Time: 10/14/19, 11:45 AM +Runtime-Version: 2.4.3.201909171500 +Save-Time: 1/10/20, 9:30 AM ------=_.parameters.context-2e023de5-3294-36a9-ac1d-6701f05a40ee Content-Type: text/properties Entry-Name: .parameters.context -#Mon Oct 14 11:45:07 PDT 2019 +#Fri Jan 10 09:30:39 PST 2020 TLA-Long-Model-Name=thisisaverylongnameforamodel TLA-MO-ED-TLC-SECTION-CM=Checking Mode TLA-MO-ED-TLC-SECTION-PARAM=Parameters @@ -42,7 +42,7 @@ TLA-BUTTON-CANCEL-TLC=Stops the current TLC model checker run. TLA-MO-ED-ADDITIONAL-SECTION-MV=Model Values TLA-MO-ED-TLCERRORS-SECTION-ETE=Error-Trace Exploration TLA-MO-ED-OVERVIEW-SECTION-SPEC=What is the behavior spec? -TLA-MODEL-ONE-TREE=new [ new.tla ]/models/Model_1 +TLA-MODEL-ONE-TREE=new/models/Model_1 TLA-ADDITIONAL-MODULE-NAME-FILE=other.tla TLA-MO-ED-RESULTS-SECTION-PO=Progress Output TLA-MO-ED-RESULTS-SECTION-STATS=Statistics @@ -51,9 +51,9 @@ TLA-MO-ED-RESULTS-SECTION-ECE=Evaluate Constant Expression TLA-MENU-PATH-WINDOW-SPEC-EXPLORER=Window/Spec Explorer TLA-MODEL-EDITOR-TAB-RESULTS=Model Checking Results TLA-MODEL-EDITOR-TAB-ADDITIONAL=Spec Options -TLA-MODEL-TEN=new [ new.tla ]/models/Model_10 +TLA-MODEL-TEN=new/models/Model_10 TLA-File-Long=zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz.tla -TLA-MODEL-NEW=new [ new.tla ]/modules/new +TLA-MODEL-NEW=new/modules/new TLA-MO-ED-OVERVIEW-SECTION-RUN=How to run? TLA-BUTTON-REMOVE=Remove Model-TEST-Name=foo @@ -65,7 +65,7 @@ TLA-VIEW-TLC-ERRORS=TLC Errors TLA-MO-ED-OVERVIEW-SECTION-CHECK=What to check? TLA-MO-ED-TLC-SECTION-FEATURES=Features TLA-File=new.tla -TLA-TREE-NAME=new [ new.tla ] +TLA-TREE-NAME=new TLA-MODEL-EDITOR-TAB-TLC-OPTIONS=TLC Options TLA-BAD-DIR=C\:\\foo TLA-BUTTON-DEADLOCK=Deadlock @@ -76,7 +76,7 @@ TLA-NEW-FILE-RENAME=new_Copy TLA-DIALOG-TITLE-NEW-MODEL=New model... TLA-MO-ED-OVERVIEW-LINK-ECE=Evaluate Constant Expressions TLA-BUTTON-FINISH=Finish -TLA-MODEL-TREE-NAME=new [ new.tla ]/models +TLA-MODEL-TREE-NAME=new/models TLA-BUTTON-RUN-TLC=Runs TLC on the model. TLA-MO-ED-OVERVIEW-LINK-SPEC=Additional Spec Options