search

henrikglass / modbat

A model-based API tester for stateful systems.
Other
0 stars 1 forks source link

Refactor `System.exit` into return codes #1

Open henrikglass opened 5 years ago

henrikglass commented 5 years ago

See: https://github.com/cyrille-artho/modbat/issues/27

In MBT.scala (line numbers):

In Modbat.scala

In Dotify.scala

Pick some.

henrikglass commented 5 years ago

I'm taking 216, 253 and 272.

btellstrom commented 5 years ago

I'll take 278 and 292

A1337li commented 5 years ago

I'll take 309

ffsinger commented 5 years ago

Taking 455 and 237

henrikglass commented 5 years ago

I added a "System.exit(1)" in Modbat.wrapRun. We need to change that to a return as well.

ffsinger commented 5 years ago

Lines 237 and 209 actually don't seem to need any change, the functions already return an exit code.