Fix parsing timestamps being too permissive
nishantjr opened this issue · comments
We allow timestamp "1571659294" but should only allow timestamp 1571659294
Wrong repo.
kframework / matching-logic-prover
nishantjr opened this issue · comments
We allow timestamp "1571659294" but should only allow timestamp 1571659294
Wrong repo.