Fix parsing timestamps being too permissive - Githubissues

kframework / matching-logic-prover

15 stars 4 forks source link

Fix parsing timestamps being too permissive #79

Closed nishantjr closed 4 years ago

nishantjr commented 4 years ago

We allow timestamp "1571659294" but should only allow timestamp 1571659294

nishantjr commented 4 years ago

Wrong repo.