search

JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
https://juliareach.github.io/SpaceExParser.jl/
MIT License
7 stars 1 forks source link

ArgumentError in Drivetrain and ISS #17

Closed nikos-kekatos closed 6 years ago

nikos-kekatos commented 6 years ago

The error that appears when we try to parse one of the drivetrain models is as follows.

ArgumentError: symbolic value cannot be evaluated to a numeric value

Update: it also occurs in all three Space Station models.

mforets commented 6 years ago

@nikos-kekatos for ISS, which model (XML) are you considering? The upstream folder is https://github.com/JuliaReach/ReachabilityBenchmarks/tree/master/models/ARCH2018/SpaceStation

nikos-kekatos commented 6 years ago

All three of them! https://github.com/JuliaReach/ReachabilityBenchmarks/tree/master/models/ARCH2018/SpaceStation/ISS

mforets commented 6 years ago

In mforets/12 drivetrain is OK, and the ArgumentError in ISS reported here is now fixed.

Let me note that ISS still needs #26, but i'm postponing that fix for later.