Mercurial > projects > dstress
changeset 6:e238a15dbc74
1) added added html-sourcefile support
2) added html_entity, html_tag_case, empt, html_empty and html_defect tests
line wrap: on
line diff
--- a/Makefile Sun Sep 26 21:41:08 2004 +0000 +++ b/Makefile Mon Oct 04 13:59:18 2004 +0000 @@ -1,4 +1,4 @@ -# $Header: /home/th/Dokumente/Entwicklung/MEIN_CVS/MiniD/src/Makefile,v 1.8 2004/09/23 09:29:40 th Exp $ +# GnuMakefile for dstress OBJ_DIR = obj LOG = log.txt @@ -29,17 +29,30 @@ TOUCH = touch endif +ifndef MAKE +MAKE = make +endif + to_log = >> $(LOG) 2>&1 ext_run = exe ext_norun = bin ext_nocompile = no ext_compile = o ext_source = d +ext_source_html = html dest_run = $(sort $(subst .$(ext_source),.$(ext_run),$(shell $(FIND) run -regex ".*\\.$(ext_source)" ) ) ) +dest_run += $(sort $(subst .$(ext_source_html),.$(ext_run),$(shell $(FIND) run -regex ".*\\.$(ext_source_html)" ) ) ) + dest_norun = $(sort $(subst .$(ext_source),.$(ext_norun),$(shell $(FIND) norun -regex ".*\\.$(ext_source)" ) ) ) +dest_norun += $(sort $(subst .$(ext_source_html),.$(ext_norun),$(shell $(FIND) norun -regex ".*\\.$(ext_source_html)" ) ) ) + dest_compile = $(sort $(subst .$(ext_source),.$(ext_compile),$(shell $(FIND) compile -regex ".*\\.$(ext_source)" ) ) ) +dest_compile += $(sort $(subst .$(ext_source_html),.$(ext_compile),$(shell $(FIND) compile -regex ".*\\.$(ext_source_html)" ) ) ) + + dest_nocompile = $(sort $(subst .$(ext_source),.$(ext_nocompile),$(shell $(FIND) nocompile -regex ".*\\.$(ext_source)" ) ) ) +dest_nocompile += $(sort $(subst .$(ext_source_html),.$(ext_nocompile),$(shell $(FIND) nocompile -regex ".*\\.$(ext_source_html)" ) ) ) all : compile nocompile run norun @@ -48,21 +61,36 @@ %.$(ext_nocompile) : %.$(ext_source) @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then $(ECHO) "XPASS: $(subst .$(ext_nocompile),,$@)"; $(RM) $@; else $(ECHO) "FAIL: $(subst .$(ext_nocompile),,$@)"; $(TOUCH) $@; fi +%.$(ext_nocompile) : %.$(ext_source_html) + @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then $(ECHO) "XPASS: $(subst .$(ext_nocompile),,$@)"; $(RM) $@; else $(ECHO) "FAIL: $(subst .$(ext_nocompile),,$@)"; $(TOUCH) $@; fi + + compile : $(dest_compile) %.$(ext_compile) : %.$(ext_source) @if $(DMD) -c -of$@ $< $(to_log) ; then $(ECHO) "PASS: $(subst .$(ext_compile),,$@)"; $(TOUCH) $@; else $(ECHO) "XFAIL: $(subst .$(ext_compile),,$@)"; $(RM) $@; fi +%.$(ext_compile) : %.$(ext_source_html) + @if $(DMD) -c -of$@ $< $(to_log) ; then $(ECHO) "PASS: $(subst .$(ext_compile),,$@)"; $(TOUCH) $@; else $(ECHO) "XFAIL: $(subst .$(ext_compile),,$@)"; $(RM) $@; fi + + run : $(dest_run) %.$(ext_run) : %.$(ext_source) @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then if $@ $(to_log); then $(ECHO) "PASS: $(subst .$(ext_run),,$@)"; else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@)"; $(RM) $@; fi else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@) (compiling error)"; fi +%.$(ext_run) : %.$(ext_source_html) + @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then if $@ $(to_log); then $(ECHO) "PASS: $(subst .$(ext_run),,$@)"; else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@)"; $(RM) $@; fi else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@) (compiling error)"; fi + norun : $(dest_norun) %.$(ext_norun) : %.$(ext_source) @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then if $@ $(to_log); then $(ECHO) "XPASS: $(subst .$(ext_norun),,$@)"; else $(ECHO) "FAIL: $(subst .$(ext_norun),,$@)"; $(RM) $@; fi else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@) (compiling error)"; fi +%.$(ext_norun) : %.$(ext_source_html) + @if $(DMD) $(DFLAGS) -of$@ $< $(to_log); then if $@ $(to_log); then $(ECHO) "XPASS: $(subst .$(ext_norun),,$@)"; else $(ECHO) "FAIL: $(subst .$(ext_norun),,$@)"; $(RM) $@; fi else $(ECHO) "XFAIL: $(subst .$(ext_run),,$@) (compiling error)"; fi + + clean_log : $(RM) $(LOG)
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/compile/html_empty_02.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,4 @@ +<html> + <head><title>html_empty_02</title></head> + <body> </body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/nocompile/html_defect_01.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,10 @@ +<html> + <head></head> + <body> + <pre><code> +int main(){ + return 0; +} + </code></pre> + </body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_comment_01.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,13 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<html> + <head><title>html_comment_01</title></head> + <body> + <pre><code> +int main(){ +<!-- das ist ein Kommentar --> + return 0; +} + </code></pre> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_comment_02.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,13 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<html> + <head><title>html_comment_02</title></head> + <body> + <pre><code> +int main(){ +<!-- das ist ein Kommentar </code> --> + return 0; +} + </code></pre> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_comment_03.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,13 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<html> + <head><title>html_comment_03</title></head> + <!-- <code>assert(0);</code> --> + <body> + <pre><code> +int main(){ + return 0; +} + </code></pre> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_comment_04.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,15 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<html> + <head><title>html_comment_04</title></head> + <body> + <pre><code> +int main(){ + <!-- <code>assert(0);--> + return 0; +} + </code></pre> + <i>static assert(0);</i> + <!-- </code> --> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_01.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,15 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" + "http://www.w3.org/TR/html4/loose.dtd"> +<html> + <head><title>html_entity_01</title></head> + <body> + <pre><code> +int main(){ + assert('A'=='A'); + assert('A'=='A'); + return 0; +} + </code></pre> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_02.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,14 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" + "http://www.w3.org/TR/html4/loose.dtd"> +<html> + <head><title>html_entity_02</title></head> + <body> + <pre><code> +int main(){ + assert('􏱼'==0x10FC7C); + assert('􏱼'==0x10FC7C); + return 0; +} + </code></pre> + </body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_03.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,14 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" + "http://www.w3.org/TR/html4/loose.dtd"> +<html> + <head><title>html_entity_03</title></head> + <body> + <pre><code> +int main(){ + assert('􏱼'==0x10FC7C); + assert('􏱼'==0x10FC7C); + return 0; +} + </code></pre> + </body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amsa.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,65 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amsa</title></head> +<body><pre><code> +int main(){ + assert('↶'=='↶'); + assert('↷'=='↷'); + assert('⇓'=='⇓'); + assert('⇊'=='&darr2;'); + assert('⇃'=='⇃'); + assert('⇂'=='⇂'); + assert('⇚'=='⇚'); + assert('↞'=='↞'); + assert('⇇'=='&larr2;'); + assert('↩'=='↩'); + assert('↫'=='↫'); + assert('↢'=='↢'); + assert('↽'=='↽'); + assert('↼'=='↼'); + assert('⇔'=='⇔'); + assert('↔'=='↔'); + assert('⇆'=='&lrarr2;'); + assert('⇄'=='&rlarr2;'); + assert('↭'=='↭'); + assert('⇌'=='&rlhar2;'); + assert('⇋'=='&lrhar2;'); + assert('↰'=='↰'); + assert('↦'=='↦'); + assert('⊸'=='⊸'); + assert('↗'=='↗'); + assert('⇍'=='⇍'); + assert('↚'=='↚'); + assert('⇎'=='⇎'); + assert('↮'=='↮'); + assert('↛'=='↛'); + assert('⇏'=='⇏'); + assert('↖'=='↖'); + assert('↺'=='↺'); + assert('↻'=='↻'); + assert('⇛'=='⇛'); + assert('↠'=='↠'); + assert('⇉'=='&rarr2;'); + assert('↪'=='↪'); + assert('↬'=='↬'); + assert('↣'=='↣'); + assert('↝'=='↝'); + assert('⇁'=='⇁'); + assert('⇀'=='⇀'); + assert('↱'=='↱'); + assert('↘'=='&drarr;'); + assert('↙'=='&dlarr;'); + assert('⇑'=='⇑'); + assert('⇈'=='&uarr2;'); + assert('⇕'=='⇕'); + assert('↕'=='↕'); + assert('↿'=='↿'); + assert('↾'=='↾'); + assert('⇐'=='⟸'); + assert('↔'=='⟺'); + assert('↔'=='⟷'); + assert('⇒'=='⟹'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amsb.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,51 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amsb</title></head> +<body><pre><code> +int main(){ + assert('∐'=='⨿'); + assert('⌆'=='⌆'); + assert('⊼'=='⌅'); + assert('⋒'=='⋒'); + assert('⋓'=='⋓'); + assert('⋎'=='⋎'); + assert('⋏'=='⋏'); + assert('⋄'=='⋄'); + assert('⋇'=='⋇'); + assert('⊺'=='⊺'); + assert('⋋'=='⋋'); + assert('⋉'=='⋉'); + assert('⊟'=='⊟'); + assert('⊛'=='⊛'); + assert('⊚'=='⊚'); + assert('⊝'=='⊝'); + assert('⊙'=='⊙'); + assert('⊖'=='⊖'); + assert('⊕'=='⊕'); + assert('⊘'=='⊘'); + assert('⊗'=='⊗'); + assert('⊞'=='⊞'); + assert('∔'=='∔'); + assert('⋌'=='⋌'); + assert('⋊'=='⋊'); + assert('⋅'=='⋅'); + assert('⊡'=='⊡'); + assert('∖'=='∖'); + assert('⊓'=='⊓'); + assert('⊔'=='⊔'); + assert('∖'=='∖'); + assert('⋆'=='⋆'); + assert('⊠'=='⊠'); + assert('⊤'=='⊤'); + assert('⊎'=='⊎'); + assert('≀'=='≀'); + assert('○'=='◯'); + assert('▽'=='▽'); + assert('△'=='△'); + assert('∐'=='∐'); + assert('∏'=='∏'); + assert('∑'=='∑'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amsc.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,18 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amsc</title></head> +<body><pre><code> +int main(){ + assert('⌉'=='⌉'); + assert('⌋'=='⌋'); + assert(''=='⦔'); + assert('⌝'=='⌝'); + assert('⌟'=='⌟'); + assert('⌈'=='⌈'); + assert('⌊'=='⌊'); + assert('⌜'=='⌜'); + assert('⌞'=='⌞'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amsn.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,68 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amsn</title></head> +<body><pre><code> +int main(){ + assert(''=='⪊'); + assert('≩'=='⪈'); + assert('≩'=='≩'); + assert('⋧'=='⋧'); + assert('≩'=='≩︀'); + assert(''=='⪉'); + assert('≨'=='≨'); + assert('≨'=='⪇'); + assert('⋦'=='⋦'); + assert('≨'=='≨︀'); + assert('≉'=='≉'); + assert('≇'=='≇'); + assert('≢'=='≢'); + assert('≱'=='≧̸'); + assert('≱'=='≱'); + assert('≱'=='⩾̸'); + assert('≯'=='≯'); + assert('≰'=='≰'); + assert('≰'=='≦̸'); + assert('≰'=='⩽̸'); + assert('≮'=='≮'); + assert('⋪'=='⋪'); + assert('⋬'=='⋬'); + assert('∤'=='∤'); + assert('∦'=='∦'); + assert('⊀'=='⊀'); + assert('⋠'=='⪯̸'); + assert('⋫'=='⋫'); + assert('⋭'=='⋭'); + assert('⊁'=='⊁'); + assert('⋡'=='⪰̸'); + assert('≁'=='≁'); + assert('≄'=='≄'); + assert(''=='∤'); + assert('∦'=='∦'); + assert('⊄'=='⊄'); + assert('⊈'=='⊈'); + assert('⊈'=='⫅̸'); + assert('⊅'=='⊅'); + assert('⊉'=='⫆̸'); + assert('⊉'=='⊉'); + assert('⊬'=='⊬'); + assert('⊭'=='⊭'); + assert('⊯'=='⊯'); + assert('⊮'=='⊮'); + assert('⋨'=='⪹'); + assert(''=='⪵'); + assert('⋨'=='⋨'); + assert('⋩'=='⪺'); + assert(''=='⪶'); + assert('⋩'=='⋩'); + assert('⊊'=='⊊'); + assert('⊊'=='⫋'); + assert('⊋'=='⊋'); + assert('⊋'=='⫌'); + assert(''=='⫋︀'); + assert('⊊'=='⊊︀'); + assert('⊋'=='⊋︀'); + assert('⊋'=='⫌︀'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amso.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,27 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amso</title></head> +<body><pre><code> +int main(){ + assert('∠'=='∠'); + assert('∡'=='∡'); + assert('ℶ'=='ℶ'); + assert('‵'=='‵'); + assert('∁'=='∁'); + assert('ℸ'=='ℸ'); + assert('ℓ'=='ℓ'); + assert('∅'=='∅'); + assert('ℷ'=='ℷ'); + assert('ℑ'=='ℑ'); + assert('ı'=='ı'); + assert('∄'=='∄'); + assert('Ⓢ'=='Ⓢ'); + assert('ℏ'=='ℏ'); + assert('ℜ'=='ℜ'); + assert('﹨'=='&sbsol;'); + assert('′'=='&vprime;'); + assert('℘'=='℘'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_amsr.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,93 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_amsr</title></head> +<body><pre><code> +int main(){ + assert('≊'=='≊'); + assert('≍'=='≈'); + assert('≌'=='≌'); + assert('∍'=='϶'); + assert('⋈'=='⋈'); + assert('∽'=='∽'); + assert('⋍'=='⋍'); + assert('≎'=='≎'); + assert('≏'=='≏'); + assert('≗'=='≗'); + assert('≔'=='≔'); + assert('⋞'=='⋞'); + assert('⋟'=='⋟'); + assert('≼'=='&cupre;'); + assert('⊣'=='⊣'); + assert('≖'=='≖'); + assert('≕'=='≕'); + assert('≑'=='≑'); + assert('≐'=='≐'); + assert('≒'=='≒'); + assert('⋝'=='⪖'); + assert('⋜'=='⪕'); + assert('≓'=='≓'); + assert('⋔'=='⋔'); + assert('⌢'=='⌢'); + assert('≳'=='⪆'); + assert('⋗'=='&gsdot;'); + assert('≧'=='≧'); + assert('⋛'=='⋛'); + assert('⋛'=='⪌'); + assert('≥'=='⩾'); + assert('⋙'=='⋙'); + assert('≷'=='≷'); + assert('≳'=='≳'); + assert('≫'=='≫'); + assert('≲'=='⪅'); + assert('⋖'=='&ldot;'); + assert('≦'=='≦'); + assert('⋚'=='⪋'); + assert('⋚'=='⋚'); + assert('≤'=='⩽'); + assert('≶'=='≶'); + assert('⋘'=='⋘'); + assert('≲'=='≲'); + assert('≪'=='≪'); + assert('⊴'=='⊴'); + assert('∣'=='∣'); + assert('⊧'=='⊧'); + assert('≺'=='≺'); + assert('≾'=='⪷'); + assert('≼'=='⪯'); + assert('≾'=='≾'); + assert('⊵'=='⊵'); + assert('∐'=='&samalg;'); + assert('≻'=='≻'); + assert('≿'=='⪸'); + assert('≽'=='≽'); + assert('≽'=='⪰'); + assert('≿'=='≿'); + assert('⌢'=='⌢'); + assert(''=='∣'); + assert('⌣'=='⌣'); + assert('∥'=='∥'); + assert('⊏'=='⊏'); + assert('⊑'=='⊑'); + assert('⊐'=='⊐'); + assert('⊒'=='⊒'); + assert('⌣'=='⌣'); + assert('⋐'=='⋐'); + assert('⊆'=='⫅'); + assert('⋑'=='⋑'); + assert('⊇'=='⫆'); + assert('≈'=='≈'); + assert('∼'=='∼'); + assert('≜'=='≜'); + assert('≬'=='≬'); + assert('⊢'=='⊢'); + assert('⊩'=='⊩'); + assert('⊨'=='⊨'); + assert('⊻'=='⊻'); + assert('⊲'=='⊲'); + assert('∝'=='∝'); + assert('⊳'=='⊳'); + assert('⊪'=='⊪'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_box.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,49 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_box</title></head> +<body><pre><code> +int main(){ + assert('─'=='─'); + assert('│'=='│'); + assert('└'=='└'); + assert('┘'=='┘'); + assert('┐'=='┐'); + assert('┌'=='┌'); + assert('├'=='├'); + assert('┴'=='┴'); + assert('┤'=='┤'); + assert('┬'=='┬'); + assert('┼'=='┼'); + assert('╞'=='╞'); + assert('╧'=='╨'); + assert('╡'=='╡'); + assert('╤'=='╥'); + assert('╪'=='╪'); + assert('═'=='═'); + assert('║'=='║'); + assert('╘'=='╚'); + assert('╛'=='╝'); + assert('╕'=='╗'); + assert('╒'=='╔'); + assert('╟'=='╠'); + assert('╨'=='╩'); + assert('╢'=='╣'); + assert('╥'=='╦'); + assert('╫'=='╬'); + assert('╠'=='╟'); + assert('╩'=='╧'); + assert('╣'=='╢'); + assert('╦'=='╤'); + assert('╬'=='╫'); + assert('╙'=='╘'); + assert('╜'=='╜'); + assert('╖'=='╕'); + assert('╓'=='╓'); + assert('╚'=='╙'); + assert('╝'=='╛'); + assert('╗'=='╖'); + assert('╔'=='╒'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_cyr1.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,76 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_cyr1</title></head> +<body><pre><code> +int main(){ + assert('а'=='а'); + assert('А'=='А'); + assert('б'=='б'); + assert('Б'=='Б'); + assert('в'=='в'); + assert('В'=='В'); + assert('г'=='г'); + assert('Г'=='Г'); + assert('д'=='д'); + assert('Д'=='Д'); + assert('е'=='е'); + assert('Е'=='Е'); + assert('ё'=='ё'); + assert('Ё'=='Ё'); + assert('ж'=='ж'); + assert('Ж'=='Ж'); + assert('з'=='з'); + assert('З'=='З'); + assert('и'=='и'); + assert('И'=='И'); + assert('й'=='й'); + assert('Й'=='Й'); + assert('к'=='к'); + assert('К'=='К'); + assert('л'=='л'); + assert('Л'=='Л'); + assert('м'=='м'); + assert('М'=='М'); + assert('н'=='н'); + assert('Н'=='Н'); + assert('о'=='о'); + assert('О'=='О'); + assert('п'=='п'); + assert('П'=='П'); + assert('р'=='р'); + assert('Р'=='Р'); + assert('с'=='с'); + assert('С'=='С'); + assert('т'=='т'); + assert('Т'=='Т'); + assert('у'=='у'); + assert('У'=='У'); + assert('ф'=='ф'); + assert('Ф'=='Ф'); + assert('х'=='х'); + assert('Х'=='Х'); + assert('ц'=='ц'); + assert('Ц'=='Ц'); + assert('ч'=='ч'); + assert('Ч'=='Ч'); + assert('ш'=='ш'); + assert('Ш'=='Ш'); + assert('щ'=='щ'); + assert('Щ'=='Щ'); + assert('ъ'=='ъ'); + assert('Ъ'=='Ъ'); + assert('ы'=='ы'); + assert('Ы'=='Ы'); + assert('ь'=='ь'); + assert('Ь'=='Ь'); + assert('э'=='э'); + assert('Э'=='Э'); + assert('ю'=='ю'); + assert('Ю'=='Ю'); + assert('я'=='я'); + assert('Я'=='Я'); + assert('№'=='№'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_cyr2.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,35 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_cyr2</title></head> +<body><pre><code> +int main(){ + assert('ђ'=='ђ'); + assert('Ђ'=='Ђ'); + assert('ѓ'=='ѓ'); + assert('Ѓ'=='Ѓ'); + assert('є'=='є'); + assert('Є'=='Є'); + assert('ѕ'=='ѕ'); + assert('Ѕ'=='Ѕ'); + assert('і'=='і'); + assert('І'=='І'); + assert('ї'=='ї'); + assert('Ї'=='Ї'); + assert('ј'=='ј'); + assert('Ј'=='Ј'); + assert('љ'=='љ'); + assert('Љ'=='Љ'); + assert('њ'=='њ'); + assert('Њ'=='Њ'); + assert('ћ'=='ћ'); + assert('Ћ'=='Ћ'); + assert('ќ'=='ќ'); + assert('Ќ'=='Ќ'); + assert('ў'=='ў'); + assert('Ў'=='Ў'); + assert('џ'=='џ'); + assert('Џ'=='Џ'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_dia.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,23 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_dia</title></head> +<body><pre><code> +int main(){ + assert('´'=='´'); + assert('˘'=='˘'); + assert('ˇ'=='ˇ'); + assert('¸'=='¸'); + assert('^'=='ˆ'); + assert('˝'=='˝'); + assert('¨'=='¨'); + assert('˙'=='˙'); + assert('`'=='`'); + assert('¯'=='¯'); + assert('˛'=='˛'); + assert('˚'=='˚'); + assert('˜'=='˜'); + assert('¨'=='¨'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_grk1.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,58 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> + <head><title>html_entity_grk1</title></head> +<body><pre><code> +int main(){ + assert('α'=='&agr;'); + assert('Α'=='&Agr;'); + assert('β'=='&bgr;'); + assert('Β'=='&Bgr;'); + assert('γ'=='&ggr;'); + assert('Γ'=='&Ggr;'); + assert('δ'=='&dgr;'); + assert('Δ'=='&Dgr;'); + assert('ε'=='&egr;'); + assert('Ε'=='&Egr;'); + assert('ζ'=='&zgr;'); + assert('Ζ'=='&Zgr;'); + assert('η'=='&eegr;'); + assert('Η'=='&EEgr;'); + assert('θ'=='&thgr;'); + assert('Θ'=='&THgr;'); + assert('ι'=='&igr;'); + assert('Ι'=='&Igr;'); + assert('κ'=='&kgr;'); + assert('Κ'=='&Kgr;'); + assert('λ'=='&lgr;'); + assert('Λ'=='&Lgr;'); + assert('μ'=='&mgr;'); + assert('Μ'=='&Mgr;'); + assert('ν'=='&ngr;'); + assert('Ν'=='&Ngr;'); + assert('ξ'=='&xgr;'); + assert('Ξ'=='&Xgr;'); + assert('ο'=='&ogr;'); + assert('Ο'=='&Ogr;'); + assert('π'=='&pgr;'); + assert('Π'=='&Pgr;'); + assert('ρ'=='&rgr;'); + assert('Ρ'=='&Rgr;'); + assert('σ'=='&sgr;'); + assert('Σ'=='&Sgr;'); + assert('ς'=='&sfgr;'); + assert('τ'=='&tgr;'); + assert('Τ'=='&Tgr;'); + assert('υ'=='&ugr;'); + assert('Υ'=='&Ugr;'); + assert('φ'=='&phgr;'); + assert('Φ'=='&PHgr;'); + assert('χ'=='&khgr;'); + assert('Χ'=='&KHgr;'); + assert('ψ'=='&psgr;'); + assert('Ψ'=='&PSgr;'); + assert('ω'=='&ohgr;'); + assert('Ω'=='&OHgr;'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_grk2.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,29 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_grk2</title></head> +<body><pre><code> +int main(){ + assert('ά'=='&aacgr;'); + assert('Ά'=='&Aacgr;'); + assert('έ'=='&eacgr;'); + assert('Έ'=='&Eacgr;'); + assert('ή'=='&eeacgr;'); + assert('Ή'=='&EEacgr;'); + assert('ϊ'=='&idigr;'); + assert('Ϊ'=='&Idigr;'); + assert('ί'=='&iacgr;'); + assert('Ί'=='&Iacgr;'); + assert('ΐ'=='&idiagr;'); + assert('ό'=='&oacgr;'); + assert('Ό'=='&Oacgr;'); + assert('ϋ'=='&udigr;'); + assert('Ϋ'=='&Udigr;'); + assert('ύ'=='&uacgr;'); + assert('Ύ'=='&Uacgr;'); + assert('ΰ'=='&udiagr;'); + assert('ώ'=='&ohacgr;'); + assert('Ώ'=='&OHacgr;'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_grk3.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,52 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_grk3</title></head> +<body><pre><code> +int main(){ + assert('α'=='α'); + assert('β'=='β'); + assert('γ'=='γ'); + assert('Γ'=='Γ'); + assert('Ϝ'=='ϝ'); + assert('δ'=='δ'); + assert('Δ'=='Δ'); + assert('∊'=='ε'); + assert('ε'=='ϵ'); + assert('∊'=='&epsis;'); + assert('ζ'=='ζ'); + assert('η'=='η'); + assert('θ'=='&thetas;'); + assert('Θ'=='Θ'); + assert('ϑ'=='ϑ'); + assert('ι'=='ι'); + assert('κ'=='κ'); + assert('ϰ'=='ϰ'); + assert('λ'=='λ'); + assert('Λ'=='Λ'); + assert('μ'=='μ'); + assert('ν'=='ν'); + assert('ξ'=='ξ'); + assert('Ξ'=='Ξ'); + assert('π'=='π'); + assert('ϖ'=='ϖ'); + assert('Π'=='Π'); + assert('ρ'=='ρ'); + assert('ϱ'=='ϱ'); + assert('σ'=='σ'); + assert('Σ'=='Σ'); + assert('ς'=='ς'); + assert('τ'=='τ'); + assert('υ'=='υ'); + assert('ϒ'=='ϒ'); + assert('φ'=='&phis;'); + assert('Φ'=='Φ'); + assert('ϕ'=='ϕ'); + assert('χ'=='χ'); + assert('ψ'=='ψ'); + assert('Ψ'=='Ψ'); + assert('ω'=='ω'); + assert('Ω'=='Ω'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_lat1.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,71 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_lat1</title></head> +<body><pre><code> +int main(){ + assert('á'=='á'); + assert('Á'=='Á'); + assert('â'=='â'); + assert('Â'=='Â'); + assert('à'=='à'); + assert('À'=='À'); + assert('å'=='å'); + assert('Å'=='Å'); + assert('ã'=='ã'); + assert('Ã'=='Ã'); + assert('ä'=='ä'); + assert('Ä'=='Ä'); + assert('æ'=='æ'); + assert('Æ'=='Æ'); + assert('ç'=='ç'); + assert('Ç'=='Ç'); + assert('ð'=='ð'); + assert('Ð'=='Ð'); + assert('é'=='é'); + assert('É'=='É'); + assert('ê'=='ê'); + assert('Ê'=='Ê'); + assert('è'=='è'); + assert('È'=='È'); + assert('ë'=='ë'); + assert('Ë'=='Ë'); + assert('í'=='í'); + assert('Í'=='Í'); + assert('î'=='î'); + assert('Î'=='Î'); + assert('ì'=='ì'); + assert('Ì'=='Ì'); + assert('ï'=='ï'); + assert('Ï'=='Ï'); + assert('ñ'=='ñ'); + assert('Ñ'=='Ñ'); + assert('ó'=='ó'); + assert('Ó'=='Ó'); + assert('ô'=='ô'); + assert('Ô'=='Ô'); + assert('ò'=='ò'); + assert('Ò'=='Ò'); + assert('ø'=='ø'); + assert('Ø'=='Ø'); + assert('õ'=='õ'); + assert('Õ'=='Õ'); + assert('ö'=='ö'); + assert('Ö'=='Ö'); + assert('ß'=='ß'); + assert('þ'=='þ'); + assert('Þ'=='Þ'); + assert('ú'=='ú'); + assert('Ú'=='Ú'); + assert('û'=='û'); + assert('Û'=='Û'); + assert('ù'=='ù'); + assert('Ù'=='Ù'); + assert('ü'=='ü'); + assert('Ü'=='Ü'); + assert('ý'=='ý'); + assert('Ý'=='Ý'); + assert('ÿ'=='ÿ'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_lat2.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,130 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_lat2</title></head> +<body><pre><code> +int main(){ + assert('ă'=='ă'); + assert('Ă'=='Ă'); + assert('ā'=='ā'); + assert('Ā'=='Ā'); + assert('ą'=='ą'); + assert('Ą'=='Ą'); + assert('ć'=='ć'); + assert('Ć'=='Ć'); + assert('č'=='č'); + assert('Č'=='Č'); + assert('ĉ'=='ĉ'); + assert('Ĉ'=='Ĉ'); + assert('ċ'=='ċ'); + assert('Ċ'=='Ċ'); + assert('ď'=='ď'); + assert('Ď'=='Ď'); + assert('đ'=='đ'); + assert('Đ'=='Đ'); + assert('ě'=='ě'); + assert('Ě'=='Ě'); + assert('ė'=='ė'); + assert('Ė'=='Ė'); + assert('ē'=='ē'); + assert('Ē'=='Ē'); + assert('ę'=='ę'); + assert('Ę'=='Ę'); + assert('ǵ'=='ǵ'); + assert('ğ'=='ğ'); + assert('Ğ'=='Ğ'); + assert('Ģ'=='Ģ'); + assert('ĝ'=='ĝ'); + assert('Ĝ'=='Ĝ'); + assert('ġ'=='ġ'); + assert('Ġ'=='Ġ'); + assert('ĥ'=='ĥ'); + assert('Ĥ'=='Ĥ'); + assert('ħ'=='ħ'); + assert('Ħ'=='Ħ'); + assert('İ'=='İ'); + assert('Ī'=='Ī'); + assert('ī'=='ī'); + assert('ij'=='ij'); + assert('IJ'=='IJ'); + assert('ı'=='ı'); + assert('į'=='į'); + assert('Į'=='Į'); + assert('ĩ'=='ĩ'); + assert('Ĩ'=='Ĩ'); + assert('ĵ'=='ĵ'); + assert('Ĵ'=='Ĵ'); + assert('ķ'=='ķ'); + assert('Ķ'=='Ķ'); + assert('ĸ'=='ĸ'); + assert('ĺ'=='ĺ'); + assert('Ĺ'=='Ĺ'); + assert('ľ'=='ľ'); + assert('Ľ'=='Ľ'); + assert('ļ'=='ļ'); + assert('Ļ'=='Ļ'); + assert('ŀ'=='ŀ'); + assert('Ŀ'=='Ŀ'); + assert('ł'=='ł'); + assert('Ł'=='Ł'); + assert('ń'=='ń'); + assert('Ń'=='Ń'); + assert('ŋ'=='ŋ'); + assert('Ŋ'=='Ŋ'); + assert('ʼn'=='ʼn'); + assert('ň'=='ň'); + assert('Ň'=='Ň'); + assert('ņ'=='ņ'); + assert('Ņ'=='Ņ'); + assert('ő'=='ő'); + assert('Ő'=='Ő'); + assert('Ō'=='Ō'); + assert('ō'=='ō'); + assert('œ'=='œ'); + assert('Œ'=='Œ'); + assert('ŕ'=='ŕ'); + assert('Ŕ'=='Ŕ'); + assert('ř'=='ř'); + assert('Ř'=='Ř'); + assert('ŗ'=='ŗ'); + assert('Ŗ'=='Ŗ'); + assert('ś'=='ś'); + assert('Ś'=='Ś'); + assert('š'=='š'); + assert('Š'=='Š'); + assert('ş'=='ş'); + assert('Ş'=='Ş'); + assert('ŝ'=='ŝ'); + assert('Ŝ'=='Ŝ'); + assert('ť'=='ť'); + assert('Ť'=='Ť'); + assert('ţ'=='ţ'); + assert('Ţ'=='Ţ'); + assert('ŧ'=='ŧ'); + assert('Ŧ'=='Ŧ'); + assert('ŭ'=='ŭ'); + assert('Ŭ'=='Ŭ'); + assert('ű'=='ű'); + assert('Ű'=='Ű'); + assert('ū'=='ū'); + assert('Ū'=='Ū'); + assert('ų'=='ų'); + assert('Ų'=='Ų'); + assert('ů'=='ů'); + assert('Ů'=='Ů'); + assert('ũ'=='ũ'); + assert('Ũ'=='Ũ'); + assert('ŵ'=='ŵ'); + assert('Ŵ'=='Ŵ'); + assert('ŷ'=='ŷ'); + assert('Ŷ'=='Ŷ'); + assert('Ÿ'=='Ÿ'); + assert('ź'=='ź'); + assert('Ź'=='Ź'); + assert('ž'=='ž'); + assert('Ž'=='Ž'); + assert('ż'=='ż'); + assert('Ż'=='Ż'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_num.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,85 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_num</title></head> +<body><pre><code> +int main(){ + assert('½'=='½'); + assert('½'=='½'); + assert('¼'=='¼'); + assert('¾'=='¾'); + assert('⅛'=='⅛'); + assert('⅜'=='⅜'); + assert('⅝'=='⅝'); + assert('⅞'=='⅞'); + assert('¹'=='¹'); + assert('²'=='²'); + assert('³'=='³'); + assert('+'=='+'); + assert('±'=='±'); + assert('&'=='<'); + assert('='=='='); + assert('>'=='>'); + assert('÷'=='÷'); + assert('×'=='×'); + assert('¤'=='¤'); + assert('£'=='£'); + assert('$'=='$'); + assert('¢'=='¢'); + assert('¥'=='¥'); + assert('#'=='#'); + assert('%'=='%'); + assert('&#38;'=='&'); + assert('*'=='*'); + assert('@'=='@'); + assert('['=='['); + assert('\'=='\'); + assert(']'==']'); + assert('{'=='{'); + assert('―'=='―'); + assert('|'=='|'); + assert('}'=='}'); + assert('µ'=='µ'); + assert('Ω'=='Ω'); + assert('°'=='°'); + assert('º'=='º'); + assert('ª'=='ª'); + assert('§'=='§'); + assert('¶'=='¶'); + assert('·'=='·'); + assert('←'=='←'); + assert('→'=='→'); + assert('↑'=='↑'); + assert('↓'=='↓'); + assert('©'=='©'); + assert('®'=='®'); + assert('™'=='™'); + assert('¦'=='¦'); + assert('¬'=='¬'); + assert('♩'=='♪'); + assert('!'=='!'); + assert('¡'=='¡'); + assert('"'=='"'); + assert('''=='''); + assert('('=='('); + assert(')'==')'); + assert(','==','); + assert('_'=='_'); + assert('-'=='‐'); + assert('.'=='.'); + assert('/'=='/'); + assert(':'==':'); + assert(';'==';'); + assert('?'=='?'); + assert('¿'=='¿'); + assert('«'=='«'); + assert('»'=='»'); + assert('‘'=='‘'); + assert('’'=='’'); + assert('“'=='“'); + assert('”'=='”'); + assert(' '==' '); + assert('­'=='­'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_pub.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,93 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_pub</title></head> +<body><pre><code> +int main(){ + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert(' '==' '); + assert('—'=='—'); + assert('–'=='–'); + assert('‐'=='‐'); + assert('␣'=='␣'); + assert('…'=='…'); + assert('‥'=='‥'); + assert('⅓'=='⅓'); + assert('⅔'=='⅔'); + assert('⅕'=='⅕'); + assert('⅖'=='⅖'); + assert('⅗'=='⅗'); + assert('⅘'=='⅘'); + assert('⅙'=='⅙'); + assert('⅚'=='⅚'); + assert('℅'=='℅'); + assert('█'=='█'); + assert('▀'=='▀'); + assert('▄'=='▄'); + assert('░'=='░'); + assert('▒'=='▒'); + assert('▓'=='▓'); + assert('▮'=='▮'); + assert('○'=='○'); + assert('□'=='□'); + assert('▭'=='▭'); + assert('▵'=='▵'); + assert('▿'=='▿'); + assert('⋆'=='☆'); + assert('•'=='•'); + assert('▪'=='▪'); + assert('▴'=='▴'); + assert('▾'=='▾'); + assert('◂'=='◂'); + assert('▸'=='▸'); + assert('♣'=='♣'); + assert('♦'=='♦'); + assert('♥'=='♥'); + assert('♠'=='♠'); + assert('✠'=='✠'); + assert('†'=='†'); + assert('‡'=='‡'); + assert('✓'=='✓'); + assert('✗'=='✗'); + assert('♯'=='♯'); + assert('♭'=='♭'); + assert('♂'=='♂'); + assert('♀'=='♀'); + assert('☎'=='☎'); + assert('⌕'=='⌕'); + assert('℗'=='℗'); + assert('⁁'=='⁁'); + assert('‚'=='‚'); + assert('„'=='„'); + assert('ff'=='ff'); + assert('fi'=='fi'); + assert('ffi'=='ffi'); + assert('ffl'=='ffl'); + assert('fl'=='fl'); + assert('…'=='…'); + assert('“'=='”'); + assert('‘'=='’'); + assert('⋮'=='⋮'); + assert('⁃'=='⁃'); + assert('◊'=='◊'); + assert('✦'=='⧫'); + assert('◃'=='◃'); + assert('▹'=='▹'); + assert('★'=='★'); + assert('♮'=='♮'); + assert('℞'=='℞'); + assert('✶'=='✶'); + assert('⌖'=='⌖'); + assert('⌍'=='⌍'); + assert('⌌'=='⌌'); + assert('⌏'=='⌏'); + assert('⌎'=='⌎'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_entity_tech.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,71 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> +<head><title>html_entity_tech</title></head> +<body><pre><code> +int main(){ + assert('ℵ'=='ℵ'); + assert('∧'=='∧'); + assert('∟'=='&ang90;'); + assert('∢'=='∢'); + assert('≈'=='≈'); + assert('∵'=='∵'); + assert('⊥'=='⊥'); + assert('∩'=='∩'); + assert('≅'=='≅'); + assert('∮'=='∮'); + assert('∪'=='∪'); + assert('≡'=='≡'); + assert('∃'=='∃'); + assert('∀'=='∀'); + assert('ƒ'=='ƒ'); + assert('≥'=='≥'); + assert('⇔'=='⇔'); + assert('∞'=='∞'); + assert('∫'=='∫'); + assert('∊'=='∈'); + assert('〈'=='⟨'); + assert('⇐'=='⇐'); + assert('≤'=='≤'); + assert('−'=='−'); + assert('∓'=='∓'); + assert('∇'=='∇'); + assert('≠'=='≠'); + assert('∍'=='∋'); + assert('∨'=='∨'); + assert('∥'=='∥'); + assert('∂'=='∂'); + assert('‰'=='‰'); + assert('⊥'=='⊥'); + assert('′'=='′'); + assert('″'=='″'); + assert('∝'=='∝'); + assert('√'=='√'); + assert('〉'=='⟩'); + assert('⇒'=='⇒'); + assert('∼'=='∼'); + assert('≃'=='≃'); + assert('□'=='□'); + assert('⊂'=='⊂'); + assert('⊆'=='⊆'); + assert('⊃'=='⊃'); + assert('⊇'=='⊇'); + assert('∴'=='∴'); + assert('‖'=='‖'); + assert('Å'=='Å'); + assert('ℬ'=='ℬ'); + assert('∘'=='∘'); + assert('¨'=='¨'); + assert('⃜'=='⃜'); + assert('ℋ'=='ℋ'); + assert('ℒ'=='ℒ'); + assert('∗'=='∗'); + assert('∉'=='∉'); + assert('ℴ'=='ℴ'); + assert('ℳ'=='ℳ'); + assert('⃛'=='⃛'); + assert('‴'=='‴'); + assert('≙'=='≙'); + return 0; +} +</code></pre></body> +</html>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_tag_case_01.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,10 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<HTML> + <HEAD><TITLE>html_tag_case_01 (capital)</TITLE></HEAD> + <BODY> + <CODE> + int main(){ return 0; } + </CODE> + </BODY> +</HTML> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_tag_case_02.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,10 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<html> + <head><title>html_tag_case_02 (small)</title></head> + <body> + <code> + int main(){ return 0; } + </code> + </body> +</html> +
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/html_tag_case_03.html Mon Oct 04 13:59:18 2004 +0000 @@ -0,0 +1,10 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> +<Html> + <HeAd><tItle>html_tag_case_03 (mixed)</titlE></hEAd> + <BODY> + <cOde> + int main(){ return 0; } + </Code> + </body> +</HTML> +