| args | Add error IDs to console output | 2020-06-10 13:27:25 +02:00 | 
		
			
			
			
			
				| err | Cover cmdlineTests.sh errors | 2020-07-09 14:39:05 +02:00 | 
		
			
			
			
			
				| exit | Add error IDs to console output | 2020-06-10 13:27:25 +02:00 | 
		
			
			
			
			
				| input.sol | Cover cmdlineTests.sh errors | 2020-07-09 14:39:05 +02:00 |