(main) [SSP]: Use the standard counter-example computation for -e and -e1.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored