4 Commits

Author	SHA1	Message	Date
Christian Grothoff	c51b19512b	report ore precisely where commands went wrong	2018-08-09 21:10:56 +02:00
Marcello Stanisci	feec78dd56	Implementing #5306.	2018-06-20 22:16:24 +02:00
Marcello Stanisci	d5684648f9	Batch CMD needs to memcpy CMDs in its internal status.	2018-06-20 14:07:01 +02:00
Marcello Stanisci	3a303770b4	Meta-CMD-aware instruction pointer. ... The main IP from the testing loop gets incremented ONLY IF the command being processed is NOT a "meta" one. Meta CMDs have their own internal IP.	2018-06-20 13:31:28 +02:00