Test (Req. / Man.)			VHDL ECMA	Lua	Promela	ECMA	VHDL Promela
Core Constructs
§3.10	The History Element
387	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
388	X		`N/A`	`FAIL`	`FAIL`	`pass`	`FAIL`
579	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
580	X		`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
§3.12	SCXML Events
396	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
399	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
401	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
402	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§3.13	Selecting and Executing Transitions
403b	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
403a	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
403c	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
404	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
405	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
406	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
407	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
409	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
411	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
412	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
413	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
415	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`pass`
416	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
417	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
419	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
421	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
422	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
423	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
503	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
504	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
505	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
506	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
533	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§3.2	The SCXML Element
355	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
576	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§3.3	The State Element
364	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§3.7	The Final Element
372	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
570	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§3.8	The Onentry Element
375	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
376	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§3.9	The Onexit Element
377	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
378	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
Executable Content
§4.2	The Raise Element
144	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§4.3	The If Element
147	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
148	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
149	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§4.6	The Foreach Element
150	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
151	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
152	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
153	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
155	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
156	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
525	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§4.9	Evaluation of Executable Content
158	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
159	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
Data Model and Manipulation
§5.10	System Variables
318	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
319	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
321	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
322	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
323	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
324	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
325	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
326	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
329	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
330	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
331	X		`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
332	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
333	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
335	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
336	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
337	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
338	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
339	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
342	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
346	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§5.3	The Data Element
276	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
277	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
279	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
280	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
550	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
551	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
552	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§5.4	The Assign Element
286	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
287	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
288	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
487	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§5.5	The Donedata Element
294	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§5.6	The Content Element
527	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
528	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
529	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§5.7	The Param Element
298	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
343	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
488	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
§5.8	The Script Element
301	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`pass`
302	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
303	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
304	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§5.9	Expressions
307	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
309	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
310	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
311	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
312	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
313	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`FAIL`
314	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`FAIL`
344	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
External Communications
§6.2	The Send Element
172	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
173	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
174	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
175	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
176	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
178	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`pass`
179	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
183	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
185	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
186	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
187	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
194	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
198	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
199	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
200	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
201			`N/A`	`FAIL`	`pass`	`pass`	`pass`
205	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
521	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
553	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§6.3	The Cancel Element
207	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
208	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
210	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§6.4	The Invoke Element
215	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
216	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
220	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
223	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
224	X		`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
225	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
226	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
228	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
229	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
230	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`FAIL`
232	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
233	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
234	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
235	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
236	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
237	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
239	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
240	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
241	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
242	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
243	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
244	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
245	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
247	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
250	X	X	`N/A`	`N/A`	`N/A`	`N/A`	`pass`
252	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
253	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
530	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
554	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
Data Models
§C.1	The Null Data Model
436	X		`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
§C.2	The ECMAScript Data Model
278			`N/A`	`FAIL`	`pass`	`pass`	`pass`
444			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
445			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
446			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
448			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
449			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
451			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
452			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
453			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
456			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
457			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
459			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
460			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
557			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
558			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
560			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
561			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
562			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
569			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
578			`N/A`	`N/A`	`N/A`	`pass`	`N/A`
§C.3	The XPath Data Model
463			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
464			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
465			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
466			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
467			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
468			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
469			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
470			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
473			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
474			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
475			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
476			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
477			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
478			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
479			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
480			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
481			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
482			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
483			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
537			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
539			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
540			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
542			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
543			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
544			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
545			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
546			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
547			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
555			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
568			`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
Event I/O Processor
§D.1	SCXML Event I/O Processor
189	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
190	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
191	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
192	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
193			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
347	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
348	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
349	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
350	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
351	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
352	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
354	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
495	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
496	X		`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
500	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
501	X		`N/A`	`FAIL`	`pass`	`pass`	`pass`
§D.2	Basic HTTP Event I/O Processor
509			`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
510			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
513		X	`N/A`	`N/A`	`N/A`	`N/A`	`N/A`
518			`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
519			`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
520			`N/A`	`FAIL`	`FAIL`	`pass`	`FAIL`
522			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
531			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
532			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`
534			`N/A`	`FAIL`	`FAIL`	`pass`	`pass`
567			`N/A`	`FAIL`	`pass`	`pass`	`pass`
577			`N/A`	`FAIL`	`pass`	`pass`	`FAIL`