• Markus Klinik's avatar
    ConfSM: return counterexample · cce67750
    Markus Klinik authored
    Make the function testConfSM return the found counterexample in a way
    that is compatible with System.IO. This means it is possible to use
    testConfSM in the IO monad like so:
    
      withWorld (testConfSM ...) >>= \(resultState, counterexample) ->
      ...
    cce67750
ConfSM.dcl 2.03 KB