Commit 121eba63 authored by Camil Staps's avatar Camil Staps 🙂

Merge branch 'testing-source-locations' into 'master'

Update for clean-platform!264

See merge request !299
parents 17af588b 6973155f
Pipeline #28184 failed with stage
in 2 minutes and 53 seconds
......@@ -202,7 +202,7 @@ where
= (results,(console,world))
//Check if the test should run
| otherwise
# console = fwrites (toString (toJSON (StartEvent {StartEvent|name=name})) +++ "\n") console
# console = fwrites (toString (toJSON (StartEvent {StartEvent|name=name,location=Nothing})) +++ "\n") console
# (ok,console) = fflush console
| not ok = abort "fflush failed\n"
# (result,world) = test world
......@@ -210,7 +210,7 @@ where
Passed = "PASSED"
Failed _ = "FAILED"
Skipped = "SKIPPED"
# console = fwrites (toString (toJSON (EndEvent {EndEvent|name=name,event=result,message=message})) +++ "\n") console
# console = fwrites (toString (toJSON (EndEvent {EndEvent|name=name,location=Nothing,event=result,message=message})) +++ "\n") console
= ([(name,result):results],(console,world))
skipTest name {runs,skip}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment