From cdc9c7da381aa296dc48c2494adcf9ca941d0851 Mon Sep 17 00:00:00 2001 From: Stefan Radomski Date: Tue, 6 Jun 2017 19:34:14 +0200 Subject: More encoding tests --- test/w3c/c89/robots.txt | 103 ++++++++++++++++++++++++++ test/w3c/c89/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/c89/test-enc-ISO-8859-15.scxml | 26 ------- test/w3c/c89/test-enc-UTF-16.scxml | Bin 0 -> 1666 bytes test/w3c/c89/test446.txt | 1 + test/w3c/c89/test513.txt | 16 ++++ test/w3c/c89/test539.txt | 4 + test/w3c/c89/test540.txt | 3 + test/w3c/c89/test552.txt | 1 + test/w3c/c89/test557.txt | 4 + test/w3c/c89/test558.txt | 3 + test/w3c/convert-tests.sh | 103 +++++++++++++++----------- test/w3c/ecma/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/ecma/test-enc-ISO-8859-15.scxml | 26 ------- test/w3c/ecma/test-enc-UTF-16.scxml | Bin 0 -> 1616 bytes test/w3c/jexl/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/jexl/test-enc-ISO-8859-15.scxml | 26 ------- test/w3c/jexl/test-enc-UTF-16.scxml | Bin 0 -> 1604 bytes test/w3c/lua/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/lua/test-enc-ISO-8859-15.scxml | 26 ------- test/w3c/lua/test-enc-UTF-16.scxml | Bin 0 -> 1784 bytes test/w3c/namespace/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/namespace/test-enc-ISO-8859-15.scxml | 26 ------- test/w3c/namespace/test-enc-UTF-16.scxml | Bin 0 -> 1996 bytes test/w3c/promela/test-enc-ISO-8859-1.scxml | 26 +++++++ test/w3c/promela/test-enc-UTF-16.scxml | Bin 0 -> 1848 bytes test/w3c/promela/test-enc-WINDOWS-1252.scxml | 26 +++++++ 27 files changed, 375 insertions(+), 175 deletions(-) create mode 100644 test/w3c/c89/robots.txt create mode 100644 test/w3c/c89/test-enc-ISO-8859-1.scxml delete mode 100644 test/w3c/c89/test-enc-ISO-8859-15.scxml create mode 100644 test/w3c/c89/test-enc-UTF-16.scxml create mode 100644 test/w3c/c89/test446.txt create mode 100644 test/w3c/c89/test513.txt create mode 100644 test/w3c/c89/test539.txt create mode 100644 test/w3c/c89/test540.txt create mode 100644 test/w3c/c89/test552.txt create mode 100644 test/w3c/c89/test557.txt create mode 100644 test/w3c/c89/test558.txt create mode 100644 test/w3c/ecma/test-enc-ISO-8859-1.scxml delete mode 100644 test/w3c/ecma/test-enc-ISO-8859-15.scxml create mode 100644 test/w3c/ecma/test-enc-UTF-16.scxml create mode 100644 test/w3c/jexl/test-enc-ISO-8859-1.scxml delete mode 100644 test/w3c/jexl/test-enc-ISO-8859-15.scxml create mode 100644 test/w3c/jexl/test-enc-UTF-16.scxml create mode 100644 test/w3c/lua/test-enc-ISO-8859-1.scxml delete mode 100644 test/w3c/lua/test-enc-ISO-8859-15.scxml create mode 100644 test/w3c/lua/test-enc-UTF-16.scxml create mode 100644 test/w3c/namespace/test-enc-ISO-8859-1.scxml delete mode 100644 test/w3c/namespace/test-enc-ISO-8859-15.scxml create mode 100644 test/w3c/namespace/test-enc-UTF-16.scxml create mode 100644 test/w3c/promela/test-enc-ISO-8859-1.scxml create mode 100644 test/w3c/promela/test-enc-UTF-16.scxml create mode 100644 test/w3c/promela/test-enc-WINDOWS-1252.scxml diff --git a/test/w3c/c89/robots.txt b/test/w3c/c89/robots.txt new file mode 100644 index 0000000..fdd7340 --- /dev/null +++ b/test/w3c/c89/robots.txt @@ -0,0 +1,103 @@ +# +# robots.txt for http://www.w3.org/ +# +# $Id: robots.txt,v 1.74 2016/02/11 20:30:26 gerald Exp $ +# + +# For use by search.w3.org +User-agent: W3C-gsa +Disallow: /Out-Of-Date + +User-agent: W3T_SE +Disallow: /Out-Of-Date + +User-agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT; MS Search 4.0 Robot) +Disallow: / + +# W3C Link checker +User-agent: W3C-checklink +Disallow: + +# the following settings apply to all bots +User-agent: * +# Blogs - WordPress +# https://codex.wordpress.org/Search_Engine_Optimization_for_WordPress#Robots.txt_Optimization +Disallow: /*/wp-admin/ +Disallow: /*/wp-includes/ +Disallow: /*/wp-content/plugins/ +Disallow: /*/wp-content/cache/ +Disallow: /*/wp-content/themes/ +Disallow: /blog/*/trackback/ +Disallow: /blog/*/feed/ +Disallow: /blog/*/comments/ +Disallow: /blog/*/category/*/* +Disallow: /blog/*/*/trackback/ +Disallow: /blog/*/*/feed/ +Disallow: /blog/*/*/comments/ +Disallow: /blog/*/*? +Disallow: /community/trackback/ +Disallow: /community/feed/ +Disallow: /community/comments/ +Disallow: /community/category/*/* +Disallow: /community/*/trackback/ +Disallow: /community/*/feed/ +Disallow: /community/*/comments/ +Disallow: /community/*/category/*/* +Disallow: /community/*? +Disallow: /Consortium/Offices/trackback/ +Disallow: /Consortium/Offices/feed/ +Disallow: /Consortium/Offices/comments/ +Disallow: /Consortium/Offices/category/*/* +Disallow: /Consortium/Offices/*/trackback/ +Disallow: /Consortium/Offices/*/feed/ +Disallow: /Consortium/Offices/*/comments/ +Disallow: /Consortium/Offices/*? +# Wikis - Mediawiki +# https://www.mediawiki.org/wiki/Manual:Robots.txt +Disallow: /wiki/index.php? +Disallow: /wiki/index.php/Help +Disallow: /wiki/index.php/MediaWiki +Disallow: /wiki/index.php/Special: +Disallow: /wiki/index.php/Template +Disallow: /wiki/skins/ +Disallow: /*/wiki/index.php? +Disallow: /*/wiki/index.php/Help +Disallow: /*/wiki/index.php/MediaWiki +Disallow: /*/wiki/index.php/Special: +Disallow: /*/wiki/index.php/Template +# various other access-controlled or expensive areas +Disallow: /2004/ontaria/basic +Disallow: /Team/ +Disallow: /Project +Disallow: /Web +Disallow: /Systems +Disallow: /History +Disallow: /Out-Of-Date +Disallow: /2002/02/mid +Disallow: /mid/ +Disallow: /2005/06/blog/ +Disallow: /2004/08/W3CTalks +Disallow: /2007/11/Talks/search +Disallow: /People/all/ +Disallow: /RDF/Validator/ARPServlet +Disallow: /RDF/Validator/rdfval +Disallow: /2003/03/Translations/byLanguage +Disallow: /2003/03/Translations/byTechnology +Disallow: /2005/11/Translations/Query +Disallow: /2000/06/webdata/xslt +Disallow: /2000/09/webdata/xslt +Disallow: /2005/08/online_xslt/xslt +Disallow: /Bugs/ +Disallow: /Search/Mail/Public/ +Disallow: /2006/02/chartergen +Disallow: /2004/01/pp-impl +Disallow: /Consortium/supporters +Disallow: /2007/08/pyRdfa/ +Disallow: /2012/pyRdfa/extract +Disallow: /WAI/PF/comments/ +Disallow: /participate/conferences.xml +Disallow: /scripts/ +Disallow: /2005/01/yacker/ +Disallow: /2005/01/yacker? +Disallow: /2003/09/nschecker? + diff --git a/test/w3c/c89/test-enc-ISO-8859-1.scxml b/test/w3c/c89/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..ed0e3b3 --- /dev/null +++ b/test/w3c/c89/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/c89/test-enc-ISO-8859-15.scxml b/test/w3c/c89/test-enc-ISO-8859-15.scxml deleted file mode 100644 index 5fdf91c..0000000 --- a/test/w3c/c89/test-enc-ISO-8859-15.scxml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/w3c/c89/test-enc-UTF-16.scxml b/test/w3c/c89/test-enc-UTF-16.scxml new file mode 100644 index 0000000..b78ac1f Binary files /dev/null and b/test/w3c/c89/test-enc-UTF-16.scxml differ diff --git a/test/w3c/c89/test446.txt b/test/w3c/c89/test446.txt new file mode 100644 index 0000000..3a26a2e --- /dev/null +++ b/test/w3c/c89/test446.txt @@ -0,0 +1 @@ +[1,2,3] \ No newline at end of file diff --git a/test/w3c/c89/test513.txt b/test/w3c/c89/test513.txt new file mode 100644 index 0000000..08e9b01 --- /dev/null +++ b/test/w3c/c89/test513.txt @@ -0,0 +1,16 @@ +This is a fully manual test. You send a well formed event to the 'location' URL + specified for your SCXML interpreter and check that you get a 200 response code back. + One way of doing this, using wget, is shown below (you can use any event name you + want, but you must use '_scxmleventname' to indicate the name of the event): + +$ wget \ +--post-data='key1=value1&key2=value2' \ +--header '_scxmleventname: test' \ + + +--2014-06-25 17:54:49-- http://epikur.local:8090/925c760f-2093-4054-a24c-d972d75f0dcd/basichttp +Resolving epikur.local (epikur.local)... 10.211.55.2, 10.37.129.2, 10.0.1.54, ... +Connecting to epikur.local (epikur.local)|10.211.55.2|:8090... connected. +HTTP request sent, awaiting response... 200 OK +Length: 0 [text/html] +Saving to: ‘basichttp’ \ No newline at end of file diff --git a/test/w3c/c89/test539.txt b/test/w3c/c89/test539.txt new file mode 100644 index 0000000..de1b0a1 --- /dev/null +++ b/test/w3c/c89/test539.txt @@ -0,0 +1,4 @@ + + + + \ No newline at end of file diff --git a/test/w3c/c89/test540.txt b/test/w3c/c89/test540.txt new file mode 100644 index 0000000..2191239 --- /dev/null +++ b/test/w3c/c89/test540.txt @@ -0,0 +1,3 @@ +123 +4 5 + \ No newline at end of file diff --git a/test/w3c/c89/test552.txt b/test/w3c/c89/test552.txt new file mode 100644 index 0000000..d8263ee --- /dev/null +++ b/test/w3c/c89/test552.txt @@ -0,0 +1 @@ +2 \ No newline at end of file diff --git a/test/w3c/c89/test557.txt b/test/w3c/c89/test557.txt new file mode 100644 index 0000000..a8e51da --- /dev/null +++ b/test/w3c/c89/test557.txt @@ -0,0 +1,4 @@ + + + + \ No newline at end of file diff --git a/test/w3c/c89/test558.txt b/test/w3c/c89/test558.txt new file mode 100644 index 0000000..bb2bcc7 --- /dev/null +++ b/test/w3c/c89/test558.txt @@ -0,0 +1,3 @@ + +this is +a string \ No newline at end of file diff --git a/test/w3c/convert-tests.sh b/test/w3c/convert-tests.sh index cb138a2..cdbd872 100755 --- a/test/w3c/convert-tests.sh +++ b/test/w3c/convert-tests.sh @@ -84,58 +84,80 @@ done # make sure substitutions are idempotent! -if [ "$LUA" != "" ]; then - # percent needs to be escaped in lua patterns - sed -i.orig 's/this%20is%20some%20content/this%%20is%%20some%%20content/g' ./lua/test520.scxml - - # x-www-form-urlencode will not preserve the type and we default to string - sed -i.orig 's/Var1==2/tonumber(Var1)==2/g' ./lua/test567.scxml - - # we can pass test562 even though it it ecmascript specific - sed -i.orig 's/datamodel=\"ecmascript\"/datamodel=\"lua\"/g' ./lua/test562.scxml - +if [ "$ECMA" != "" ]; then + cp txml/*.txt ecma/ + find ./ecma -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + mv ./ecma/test436.scxml ./null fi if [ "$NAMESPACE" != "" ]; then # unnamespace embedded xml in namespace tests sed -i.orig 's/scxml:book/book/g' ./namespace/test557.scxml sed -i.orig 's/scxml:book/book/g' ./namespace/test561.scxml + cp txml/*.txt namespace/ + find ./namespace -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + rm ./namespace/test436.scxml fi -cp txml/*.txt ecma/ -cp txml/*.txt namespace/ -cp txml/*.txt xpath/ -cp txml/*.txt promela/ -cp txml/*.txt prolog/ -cp txml/*.txt lua/ -cp txml/*.txt jexl/ +if [ "$XPATH" != "" ]; then + cp txml/*.txt xpath/ + find ./xpath -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + rm ./xpath/test436.scxml +fi -find ./ecma -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./namespace -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./xpath -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv +if [ "$PROMELA" != "" ]; then + cp txml/*.txt promela/ + find ./promela -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + find ./promela -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + find ./promela -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + rm ./promela/test436.scxml +fi -find ./promela -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./promela -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv -find ./promela -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv +if [ "$PROLOG" != "" ]; then + cp txml/*.txt prolog/ + find ./prolog -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + find ./prolog -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + find ./prolog -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + rm ./prolog/test436.scxml +fi -find ./prolog -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./prolog -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv -find ./prolog -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv +if [ "$C89" != "" ]; then + cp txml/*.txt c89/ + find ./c89 -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + find ./c89 -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + find ./c89 -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + rm ./c89/test436.scxml +fi -find ./c89 -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./c89 -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv -find ./c89 -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv +if [ "$LUA" != "" ]; then + # percent needs to be escaped in lua patterns + sed -i.orig 's/this%20is%20some%20content/this%%20is%%20some%%20content/g' ./lua/test520.scxml -find ./lua -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./lua -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv -find ./lua -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + # x-www-form-urlencode will not preserve the type and we default to string + sed -i.orig 's/Var1==2/tonumber(Var1)==2/g' ./lua/test567.scxml + + # we can pass test562 even though it it ecmascript specific + sed -i.orig 's/datamodel=\"ecmascript\"/datamodel=\"lua\"/g' ./lua/test562.scxml + + cp txml/*.txt lua/ + find ./lua -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + find ./lua -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + find ./lua -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + rm ./lua/test436.scxml +fi -find ./jexl -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv -find ./jexl -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv -find ./jexl -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv +if [ "$JEXL" != "" ]; then + cp txml/*.txt jexl/ + find ./jexl -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv + find ./jexl -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv + find ./jexl -type f -exec grep -Ili 'datamodel="null"' {} \; |xargs rm -fv + rm ./jexl/test436.scxml +fi # create other encoding tests from the utf8 one -for ENC in ISO-8859-15 WINDOWS-1252; +# https://xerces.apache.org/xerces-c/faq-parse-3.html#faq-16 + +for ENC in UTF-16 ISO-8859-1 WINDOWS-1252 do export ENC=$ENC find . -name "test-enc-UTF8.scxml" -exec sh -c 'sed "s/UTF-8/${ENC}/g" {} > $(dirname {})/test-enc-${ENC}.tmp.scxml' \; @@ -146,15 +168,6 @@ done # find . -name "tmp.scxml" -exec rm {} \; # find . -name "tmp.scxml.orig" -exec rm {} \; -# test436 is the null datamodel -mv ./ecma/test436.scxml ./null -rm ./namespace/test436.scxml -rm ./xpath/test436.scxml -rm ./promela/test436.scxml -rm ./prolog/test436.scxml -rm ./lua/test436.scxml -rm ./jexl/test436.scxml - # format all SCXML files SCXMLS=`find . -type f -name '*.scxml'` for SCXML in $SCXMLS diff --git a/test/w3c/ecma/test-enc-ISO-8859-1.scxml b/test/w3c/ecma/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..9b1851b --- /dev/null +++ b/test/w3c/ecma/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/ecma/test-enc-ISO-8859-15.scxml b/test/w3c/ecma/test-enc-ISO-8859-15.scxml deleted file mode 100644 index 331359d..0000000 --- a/test/w3c/ecma/test-enc-ISO-8859-15.scxml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/w3c/ecma/test-enc-UTF-16.scxml b/test/w3c/ecma/test-enc-UTF-16.scxml new file mode 100644 index 0000000..c9d3180 Binary files /dev/null and b/test/w3c/ecma/test-enc-UTF-16.scxml differ diff --git a/test/w3c/jexl/test-enc-ISO-8859-1.scxml b/test/w3c/jexl/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..be8ae35 --- /dev/null +++ b/test/w3c/jexl/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/jexl/test-enc-ISO-8859-15.scxml b/test/w3c/jexl/test-enc-ISO-8859-15.scxml deleted file mode 100644 index d6b0e26..0000000 --- a/test/w3c/jexl/test-enc-ISO-8859-15.scxml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/w3c/jexl/test-enc-UTF-16.scxml b/test/w3c/jexl/test-enc-UTF-16.scxml new file mode 100644 index 0000000..1e439c0 Binary files /dev/null and b/test/w3c/jexl/test-enc-UTF-16.scxml differ diff --git a/test/w3c/lua/test-enc-ISO-8859-1.scxml b/test/w3c/lua/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..f5e53a7 --- /dev/null +++ b/test/w3c/lua/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/lua/test-enc-ISO-8859-15.scxml b/test/w3c/lua/test-enc-ISO-8859-15.scxml deleted file mode 100644 index b026b95..0000000 --- a/test/w3c/lua/test-enc-ISO-8859-15.scxml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/w3c/lua/test-enc-UTF-16.scxml b/test/w3c/lua/test-enc-UTF-16.scxml new file mode 100644 index 0000000..01ea8e6 Binary files /dev/null and b/test/w3c/lua/test-enc-UTF-16.scxml differ diff --git a/test/w3c/namespace/test-enc-ISO-8859-1.scxml b/test/w3c/namespace/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..4b815fa --- /dev/null +++ b/test/w3c/namespace/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/namespace/test-enc-ISO-8859-15.scxml b/test/w3c/namespace/test-enc-ISO-8859-15.scxml deleted file mode 100644 index 964cd2f..0000000 --- a/test/w3c/namespace/test-enc-ISO-8859-15.scxml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/w3c/namespace/test-enc-UTF-16.scxml b/test/w3c/namespace/test-enc-UTF-16.scxml new file mode 100644 index 0000000..6bbcfa7 Binary files /dev/null and b/test/w3c/namespace/test-enc-UTF-16.scxml differ diff --git a/test/w3c/promela/test-enc-ISO-8859-1.scxml b/test/w3c/promela/test-enc-ISO-8859-1.scxml new file mode 100644 index 0000000..c44f071 --- /dev/null +++ b/test/w3c/promela/test-enc-ISO-8859-1.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/test/w3c/promela/test-enc-UTF-16.scxml b/test/w3c/promela/test-enc-UTF-16.scxml new file mode 100644 index 0000000..d02ab96 Binary files /dev/null and b/test/w3c/promela/test-enc-UTF-16.scxml differ diff --git a/test/w3c/promela/test-enc-WINDOWS-1252.scxml b/test/w3c/promela/test-enc-WINDOWS-1252.scxml new file mode 100644 index 0000000..10c99f6 --- /dev/null +++ b/test/w3c/promela/test-enc-WINDOWS-1252.scxml @@ -0,0 +1,26 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v0.12