diff scripts/safety-analysis.py @ 956:196a1fd498ba

removing unnecessary complexity of varying number of return elements
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Tue, 15 Aug 2017 16:15:55 -0400
parents d6c1c05d11f5
children eb42f2f51490
line wrap: on
line diff