search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

PIR parser fails occasionally #624

Closed vmchale closed 5 years ago

vmchale commented 5 years ago

Here is a build with associated seed for the test suite: https://hydra.iohk.io/build/613408/nixlog/1

m-alvarez commented 5 years ago

The problem: the parser expects bytestring literals to have an even number of digits, e.g. #00 is valid but #0 is not. This is easily fixable, but I thought it was the desired behavior.

The current PLC parser behaves in exactly the same way, so if this is indeed a bug then both need to be fixed.

m-alvarez commented 5 years ago

The same behavior can be triggered in the PLC parser with:

language-plutus-core-test --hedgehog-replay "Size 82 Seed 15812606119386308263 110159750707462013"
m-alvarez commented 5 years ago

Fix in #628