Skip to content

Instantly share code, notes, and snippets.

@lemmy

lemmy/gist:74f221125547b6877aa1382b9d653233

Created January 15, 2019 23:28
Show Gist options
  • Save lemmy/74f221125547b6877aa1382b9d653233 to your computer and use it in GitHub Desktop.
Save lemmy/74f221125547b6877aa1382b9d653233 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
[INFO] Testcase Artifacts:52
[INFO] AUT-0:Launching
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 1 (52) processed. 0 failed. spent: 0:04, 1:06 mins remaining. ActivateExperimentalUpdates. time: 4427ms
[INFO] Pass 2 (52) processed. 0 failed. spent: 0:10, 2:02 mins remaining. TLA-Functional.Long.Name.Spec. time: 5368ms
[INFO] Pass 3 (52) processed. 0 failed. spent: 0:24, 3:50 mins remaining. TLA-Functional.Tree.Collapse. time: 13207ms
[INFO] Pass 4 (52) processed. 0 failed. spent: 1:18, 10:11 mins remaining. TLA.End.To.End.Test1. time: 53685ms
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=1)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_1: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_1: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 5 (52) processed. 0 failed. spent: 2:48, 21:56 mins remaining. TLA.End.To.End.Test2. time: 78725ms
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=2)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_2: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_2: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 6 (52) processed. 0 failed. spent: 3:07, 17:31 mins remaining. TLA.Functional.File.Property. time: 7277ms
[INFO] Fail 7 (52) processed. 1 failed. spent: 3:15, 15:53 mins remaining. TLA.Functional.Help.Menu. time: 7838ms Cause: Failed to retrieve property 'caption'
[INFO] Pass 8 (52) processed. 1 failed. spent: 3:46, 16:11 mins remaining. TLA.Functional.New.Model. time: 30042ms
[INFO] Pass 9 (52) processed. 1 failed. spent: 3:50, 14:38 mins remaining. TLA.Functional.Parse.Pref. time: 4117ms
[INFO] Pass 10 (52) processed. 1 failed. spent: 4:34, 15:36 mins remaining. TLA.Functional.Temporal.Formula. time: 43031ms
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=3)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_3: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_3: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Fail 11 (52) processed. 2 failed. spent: 7:48, 24:00 mins remaining. TLA.Invalid.File. time: 180448ms Cause: Failed to execute org.eclipse.rcptt.core.ecl.core.model.impl.EnterContextImpl@e17582f (host: null)
[INFO]
[INFO]
[INFO] Possible AUT hang detected, 2 tests are failed because of timeout. Restarting AUT.
[INFO]
[INFO]
[INFO] Fail 12 (52) processed. 3 failed. spent: 10:48, 33:13 mins remaining. TLA.Invalid.Set. time: 180045ms Cause: Failed to execute org.eclipse.rcptt.core.ecl.core.model.impl.EnterContextImpl@38194b5e (host: null)
[INFO] AUT-0:Restarting (restartId=4)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_4: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_4: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Fail 13 (52) processed. 4 failed. spent: 14:00, 35:28 mins remaining. TLA.Smoke.Create.Close.Open. time: 180259ms Cause: Failed to execute org.eclipse.rcptt.core.ecl.core.model.impl.EnterContextImpl@2a32cab6 (host: null)
[INFO]
[INFO]
[INFO] Possible AUT hang detected, 2 tests are failed because of timeout. Restarting AUT.
[INFO]
[INFO]
[INFO] Fail 14 (52) processed. 5 failed. spent: 17:00, 43:04 mins remaining. TLA.Smoke.Create.Delete. time: 180021ms Cause: Failed to execute org.eclipse.rcptt.core.ecl.core.model.impl.EnterContextImpl@3ec523f4 (host: null)
[INFO] AUT-0:Restarting (restartId=5)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_5: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_5: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 15 (52) processed. 5 failed. spent: 17:24, 36:50 mins remaining. TLA.Smoke.Create.Test.Spec. time: 13263ms
[INFO] Pass 16 (52) processed. 5 failed. spent: 17:31, 34:03 mins remaining. TLA.Smoke.New.Model.Simple. time: 6766ms
[INFO] Pass 17 (52) processed. 5 failed. spent: 17:36, 31:29 mins remaining. TLA.Smoke.Rename.Spec. time: 4899ms
[INFO] Pass 18 (52) processed. 5 failed. spent: 17:40, 29:09 mins remaining. TLA.Smoke.Valid.Path. time: 3698ms
[INFO] Pass 19 (52) processed. 5 failed. spent: 19:00, 28:57 mins remaining. TLA.End.To.End.Multiple.Model.Run. time: 79827ms
[INFO] Pass 20 (52) processed. 5 failed. spent: 19:20, 27:14 mins remaining. TLA.End.To.End.Test3. time: 19932ms
[INFO] Pass 21 (52) processed. 5 failed. spent: 19:35, 25:32 mins remaining. TLA.Functional.Action.Constraint. time: 15386ms
[INFO] Pass 22 (52) processed. 5 failed. spent: 20:16, 24:29 mins remaining. TLA.Functional.Basic.Model. time: 39566ms
[INFO] Pass 23 (52) processed. 5 failed. spent: 20:31, 22:58 mins remaining. TLA.Functional.Check.Model.OnError. time: 15221ms
[INFO] Pass 24 (52) processed. 5 failed. spent: 20:58, 21:46 mins remaining. TLA.Functional.Clear.Console. time: 26734ms
[INFO] Pass 25 (52) processed. 5 failed. spent: 21:14, 20:26 mins remaining. TLA.Functional.Clear.Error.Temporal. time: 15111ms
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=6)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_6: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_6: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 26 (52) processed. 5 failed. spent: 21:54, 19:33 mins remaining. TLA.Functional.Clone.Model. time: 30021ms
[INFO] Pass 27 (52) processed. 5 failed. spent: 22:32, 18:38 mins remaining. TLA.Functional.Deadlock.Unchecked. time: 37866ms
[INFO] Pass 28 (52) processed. 5 failed. spent: 22:50, 17:30 mins remaining. TLA.Functional.Definition.Override. time: 17188ms
[INFO] Pass 29 (52) processed. 5 failed. spent: 23:05, 16:22 mins remaining. TLA.Functional.Distributed.Mode.Options. time: 14795ms
[INFO] Pass 30 (52) processed. 5 failed. spent: 23:38, 15:30 mins remaining. TLA.Functional.Exp. time: 33313ms
[INFO] Pass 31 (52) processed. 5 failed. spent: 23:54, 14:29 mins remaining. TLA.Functional.Find.Replace. time: 14998ms
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=7)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_7: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_7: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 32 (52) processed. 5 failed. spent: 24:43, 13:48 mins remaining. TLA.Functional.Fingerprint. time: 39893ms
[INFO] Pass 33 (52) processed. 5 failed. spent: 24:59, 12:50 mins remaining. TLA.Functional.Invariant .Formula. time: 15260ms
[INFO] Pass 34 (52) processed. 5 failed. spent: 25:15, 11:55 mins remaining. TLA.Functional.Links. time: 15810ms
[INFO] Pass 35 (52) processed. 5 failed. spent: 25:32, 11:02 mins remaining. TLA.Functional.Model.Defaults. time: 16740ms
[INFO] Pass 36 (52) processed. 5 failed. spent: 25:46, 10:10 mins remaining. TLA.Functional.Model.Results.Defaults. time: 14104ms
[INFO] Fail 37 (52) processed. 6 failed. spent: 26:19, 9:26 mins remaining. TLA.Functional.Multiple.Models. time: 32425ms Cause: The Button "OK" could not be found.
[INFO]
[INFO] Retry 1 of 3
[INFO]
[INFO] AUT-0:Restarting (restartId=8)
[INFO] AUT-0:Product: org.lamport.tla.toolbox.product.standalone.product
[INFO] AUT-0:Application: org.lamport.tla.toolbox.application
[INFO] AUT-0:Architecture: x86_64
[INFO] 64bit arch is selected because AUT uses launcher library
[INFO] "plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352" specified in config file: toolbox.ini
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_8: AUT arguments: -os ${target.os} -arch ${target.arch} -consoleLog
[INFO] /home/markus/src/TLA/tla/org.lamport.tla.toolbox.product.uitest/target/aut-ws-0_restarted_8: AUT VM arguments: -XX:+IgnoreUnrecognizedVMOptions -Xmx1000m -Dorg.eclipse.equinox.http.jetty.http.port=10996 -Dosgi.splashPath=platform:/base/ -Dosgi.requiredJavaVersion=1.8 -Dosgi.instance.area.default=@user.home/.tlaplus/ -Dosgi.clean=true -XX:MaxPermSize=128m
[INFO] Pass 38 (52) processed. 6 failed. spent: 27:19, 8:52 mins remaining. TLA.Functional.Multiple.Models.Description. time: 49052ms
[INFO] Fail 39 (52) processed. 7 failed. spent: 27:30, 8:02 mins remaining. TLA.Functional.NoFormula.Defaults. time: 9974ms Cause: Cannot execute command on the required control TLA+ Toolbox because there is still the active modal dialog "Reset Perspective".
[INFO] Fail 40 (52) processed. 8 failed. spent: 27:44, 7:15 mins remaining. TLA.Functional.Open.More.Editors. time: 14281ms Cause: Failed to retrieve property 'caption'
[INFO] Pass 41 (52) processed. 8 failed. spent: 27:59, 6:30 mins remaining. TLA.Functional.Open.Saved.Model. time: 14220ms
[INFO] Pass 42 (52) processed. 8 failed. spent: 28:14, 5:46 mins remaining. TLA.Functional.Property.Formula. time: 15308ms
[INFO] Pass 43 (52) processed. 8 failed. spent: 28:45, 5:06 mins remaining. TLA.Functional.Run.Details. time: 30449ms
[INFO] Pass 44 (52) processed. 8 failed. spent: 28:50, 4:23 mins remaining. TLA.Functional.Spec.Properties. time: 4743ms
[INFO] Pass 45 (52) processed. 8 failed. spent: 29:02, 4:25 mins remaining. TLA.Functional.Spec.Properties.Valid. time: 11874ms
[INFO] Pass 46 (52) processed. 8 failed. spent: 29:17, 3:03 mins remaining. TLA.Functional.TLA.Options.Defaults. time: 14491ms
Process 1547592942913 is killed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment