tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain
24 stars 16 forks source link

Add support for integer literal mutations #178

Closed dorranh closed 3 years ago

dorranh commented 3 years ago

Updates our quick and dirty mutation testing script to add support for mutating integer literals like "1_000_000mutez" or "42". Additionally updates it to: