Closed MClarke1991 closed 6 years ago
[14] "Calling DLL..." [15] "" [16] "Unhandled Exception: System.Runtime.InteropServices.SEHException: External component has thrown an exception." [17] " at Attractors.attractors(Int32 numVars, Int32[] ranges, Int32[] minValues, Int32[] numInputs, Int32[] inputVars, Int32[] numUpdates, Int32[] inputValues, Int32[] outputValues, String proofOutput, Int32 proofOutputLength, String csvHeader, Int32 headerLength, Int32 mode, String initialCsvFilename, Int32 initialCsvFilenameLength)" [18] " at Attractors.findAttractors(Mode mode, String proof_output, FSharpList`1 qn, String initialCsvFilename) in C:\\Users\\t-stwood\\Desktop\\BioModelAnalyzer\\src\\BioCheckAnalyzer\\Attractors.fs:line 149" [19] " at Main.runAttractorEngine@297.Invoke(Mode mode, String proof_output, FSharpList`1 qn, String initialCsvFilename) in C:\\Users\\t-stwood\\Desktop\\BioModelAnalyzer\\src\\BioCheckConsole\\Main.fs:line 297" [20] " at Main.main$cont@320(FSharpRef`1 res, Unit unitVar) in C:\\Users\\t-stwood\\Desktop\\BioModelAnalyzer\\src\\BioCheckConsole\\Main.fs:line 357" [21] " at Main.main(String[] args) in C:\\Users\\t-stwood\\Desktop\\BioModelAnalyzer\\src\\BioCheckConsole\\Main.fs:line 373" attr(,"status")
Fixed