diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-17 11:24:43 -0700 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-17 11:24:43 -0700 |
| commit | 39735211beb5546c4bf0642b30ae449ec83393c7 (patch) | |
| tree | 03a4967b066bc56568e9e2f13e805b0ec453c604 | |
| parent | 78f8f118c5be5593f7bbcefb0de41b551b46bfb3 (diff) | |
Only track horizontal vehicle motion
At the start of simulation, the vehicle is actually hovering slightly
above the platform; this prevents the simulator from erroneously
inferring initial conditions under which the car intersects the
platform. This does, however, mean that the car has to fall a couple
inches onto the platform when the simulation begins, so if you record
the absolute speed of the car, you’ll get a weird spike at the start of
the simulation. This commit fixes that issue by confining speed
measurements to the xy plane.
| -rw-r--r-- | examples/simple.ttt | bin | 509740 -> 509920 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/examples/simple.ttt b/examples/simple.ttt Binary files differindex cacbb0b..e8a3070 100644 --- a/examples/simple.ttt +++ b/examples/simple.ttt |