← Back to branch summary

~tapaal-maintainers/tapaal/3.8

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

  • Committer: Jiri Srba
  • Date: 2020-12-17 20:01:03 UTC
  • mfrom: (1113.2.2 raw-query-results)
  • Revision ID: srba@cs.aau.dk-20201217200103-52zb4imrxmkdmvbo
merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java
340
340
                                }
341
341
 
342
342
                                TimedArcPetriNetTrace tapnTrace = parseTrace(!errorOutput.contains("Trace:") ? errorOutput : (errorOutput.split("Trace:")[1]), options, model, exportedModel, query, queryResult.value1());
343
 
                                return new VerificationResult<TimedArcPetriNetTrace>(queryResult.value1(), tapnTrace, secondaryTrace, runner.getRunningTime(), queryResult.value2(), false);
 
343
                                return new VerificationResult<TimedArcPetriNetTrace>(queryResult.value1(), tapnTrace, secondaryTrace, runner.getRunningTime(), queryResult.value2(), false, standardOutput);
344
344
                        }
345
345
                }
346
346
        }