| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: integer_enumerations.pvs Sprache: Coq
|
Untersuchungsergebnis.all Download desText {Text[166] Haskell[260] Ada[427]}zum Wurzelverzeichnis wechseln NOTE *********************************************************************** NOTE NIST SQL Test Suite, V6.0, Pseudo-Shell, runpco.all NOTE This file lists all the programs to be run for test suite type: NOTE Embedded COBOL NOTE Identified by file extension .PCO NOTE Authorization id is shown after the file name NOTE *********************************************************************** NOTE program authid is an optional subroutine for Login NOTE program dml063 should be modified before running - see documentation NOTE programs dml116s and dml116t are subroutines to be linked with dml116 NOTE program flg005 should be modified before running - see documentation NOTE mpb* programs are to be run concurrently with mpa* programs; NOTE for example, mpb001.pco is to be run concurrently with mpa001.pco NOTE RUNPCO_S indicates a subroutine needs to be linked NOTE RUNPCO_T indicates two subroutines need to be linked NOTE RUNPCO_2 indicates 2 programs to be run concurrently NOTE RUNSQL indicates an interactive SQL command file NOTE RUNC indicates a C language program NOTE ------------- Dataload Programs ------------- RUNPCO basetab HU RUNPCO cugtab CUGINI RUNPCO flattab FLATER RUNPCO suntab0 SUN RUNPCO suntab1 SUN RUNPCO suntab2 SUN RUNPCO suntab3 SUN RUNPCO sultab1 SULLIVAN NOTE Programs sc11tab, sc12tab, and cts5tab are not used for Entry SQL RUNSQL sc11tab FLATER RUNSQL sc12tab FLATER RUNPCO cts5tab CTS1 RUNPCO predml HU NOTE ------------- Entry Syntax Flags ------------- RUNPCO flg010 FLATER RUNPCO flg011 FLATER RUNPCO flg012 FLATER RUNPCO flg013 FLATER RUNPCO flg005 HU RUNPCO flg008 HU NOTE ------------- Entry SQL ------------- RUNPCO sdl026 CANWEPARSELENGTH18 RUNPCO sdl005 CUGINI RUNPCO dml087 FLATER RUNPCO dml141 FLATER RUNPCO dml143 FLATER RUNPCO dml151 FLATER RUNPCO sdl032 FLATER RUNPCO cob001 HU RUNPCO cob002 HU RUNPCO cob004 HU RUNPCO cob005 HU RUNPCO cob006 HU RUNPCO cob007 HU RUNPCO cob008 HU RUNPCO cob009 HU RUNPCO cob010 HU RUNPCO dml001 HU RUNPCO dml002 HU RUNPCO dml003 HU RUNPCO dml004 HU RUNPCO dml006 HU RUNPCO dml007 HU RUNPCO dml008 HU RUNPCO dml009 HU RUNPCO dml010 HU RUNPCO dml011 HU RUNPCO dml012 HU RUNPCO dml013 HU RUNPCO dml014 HU RUNPCO dml015 HU RUNPCO dml017 HU RUNPCO dml018 HU RUNPCO dml019 HU RUNPCO dml020 HU RUNPCO dml021 HU RUNPCO dml022 HU RUNPCO dml023 HU RUNPCO dml024 HU RUNPCO dml025 HU RUNPCO dml026 HU RUNPCO dml027 HU RUNPCO dml028 HU RUNPCO dml029 HU RUNPCO dml033 HU RUNPCO dml034 HU RUNPCO dml035 HU RUNPCO dml036 HU RUNPCO dml037 HU RUNPCO dml038 HU RUNPCO dml039 HU RUNPCO dml040 HU RUNPCO dml041 HU RUNPCO dml051 HU RUNPCO dml052 HU RUNPCO dml053 HU RUNPCO dml054 HU RUNPCO dml058 HU RUNPCO dml059 HU RUNPCO dml060 HU RUNPCO dml061 HU RUNPCO dml062 HU RUNPCO dml063 HU RUNPCO dml064 HU RUNPCO dml065 HU RUNPCO dml066 HU RUNPCO dml067 HU RUNPCO dml069 HU RUNPCO dml070 HU RUNPCO dml071 HU RUNPCO dml072 HU RUNPCO dml073 HU RUNPCO dml075 HU RUNPCO dml076 HU RUNPCO dml077 HU RUNPCO dml079 HU RUNPCO dml086 HU RUNPCO dml090 HU RUNPCO dml142 HU RUNPCO sdl001 HU RUNPCO sdl012 HU RUNPCO sdl013 HU RUNPCO sdl014 HU RUNPCO sdl015 HU RUNPCO sdl016 HU RUNPCO sdl017 HU RUNPCO sdl018 HU RUNPCO sdl019 HU RUNPCO sdl020 HU RUNPCO sdl024 HU RUNPCO sdl025 HU RUNPCO sdl027 HU RUNPCO sdl028 HU RUNPCO cdr023 SCHANZLE RUNPCO cdr028 SCHANZLE RUNPCO cdr029 SCHANZLE RUNPCO dml080 SCHANZLE RUNPCO dml081 SCHANZLE RUNPCO dml082 SCHANZLE RUNPCO dml083 SCHANZLE RUNPCO dml084 SCHANZLE RUNPCO dml085 SCHANZLE RUNPCO dml091 SCHANZLE RUNPCO sdl003 SCHANZLE RUNPCO sdl023 SCHANZLE RUNPCO sdl029 SCHANZLE RUNPCO sdl030 SCHANZLE RUNPCO sdl031 SCHANZLE RUNPCO sdl033 SCHANZLE RUNPCO sdl034 SCHANZLE RUNPCO sdl035 SCHANZLE RUNPCO sdl036 SCHANZLE RUNPCO cdr022 SULLIVAN RUNPCO dml016 SULLIVAN RUNPCO sdl002 SULLIVAN RUNPCO sdl004 SULLIVAN RUNPCO sdl006 SULLIVAN RUNPCO sdl007 SULLIVAN RUNPCO sdl008 SULLIVAN RUNPCO sdl009 SULLIVAN RUNPCO sdl010 SULLIVAN RUNPCO sdl021 SULLIVAN RUNPCO sdl022 SULLIVAN RUNPCO_2 mpa001 SULLIVAN1 RUNPCO_2 mpa002 SULLIVAN1 RUNPCO_2 mpa003 SULLIVAN1 RUNPCO_2 mpa004 SULLIVAN1 RUNPCO_2 mpa005 SULLIVAN1 RUNPCO_2 mpa006 SULLIVAN1 RUNPCO_2 mpa007 SULLIVAN1 RUNPCO_2 mpa008 SULLIVAN1 RUNPCO sdl011 SULLIVAN1 RUNPCO sdl037 SULLIVAN1 RUNPCO cdr001 SUN RUNPCO cdr002 SUN RUNPCO cdr003 SUN RUNPCO cdr004 SUN RUNPCO cdr005 SUN RUNPCO cdr006 SUN RUNPCO cdr007 SUN RUNPCO cdr008 SUN RUNPCO cdr009 SUN RUNPCO cdr010 SUN RUNPCO cdr011 SUN RUNPCO cdr012 SUN RUNPCO cdr013 SUN RUNPCO cdr017 SUN RUNPCO cdr019 SUN RUNPCO cdr020 SUN RUNPCO cdr021 SUN RUNPCO cdr024 SUN RUNPCO cdr025 SUN RUNPCO cdr026 SUN RUNPCO cdr027 SUN RUNPCO cdr030 SUN NOTE ------------- Transitional Only Features ------------- RUNPCO dml094 FLATER RUNPCO dml095 FLATER RUNPCO dml096 FLATER RUNPCO dml097 FLATER RUNPCO dml099 FLATER RUNPCO dml100 FLATER RUNPCO dml101 FLATER RUNPCO dml104 FLATER RUNPCO dml105 FLATER RUNPCO dml106 FLATER RUNPCO dml107 FLATER RUNPCO dml108 FLATER RUNPCO dml109 FLATER RUNPCO dml110 FLATER RUNPCO dml111 FLATER RUNPCO dml112 FLATER RUNPCO dml113 FLATER RUNPCO dml114 FLATER RUNPCO dml115 FLATER RUNPCO_T dml116 FLATER RUNPCO dml117 FLATER RUNPCO dml118 FLATER RUNPCO dml119 FLATER RUNPCO dml120 FLATER RUNPCO dml121 FLATER RUNPCO dml122 FLATER RUNPCO dml123 FLATER RUNPCO dml124 FLATER RUNPCO dml125 FLATER RUNPCO dml126 FLATER RUNPCO dml127 FLATER RUNPCO dml128 FLATER RUNPCO dml130 FLATER RUNPCO dml131 FLATER RUNPCO dml133 FLATER RUNPCO dml134 FLATER RUNPCO dml135 FLATER RUNPCO dml136 FLATER RUNPCO dml137 FLATER RUNPCO dml138 FLATER RUNPCO dml144 FLATER RUNPCO dml145 FLATER RUNPCO dml147 FLATER RUNPCO dml148 FLATER RUNPCO dml149 FLATER RUNPCO dml150 FLATER RUNPCO dml152 FLATER RUNPCO dml153 FLATER RUNPCO dml154 FLATER RUNPCO dml156 FLATER RUNPCO dml157 FLATER RUNPCO dml159 FLATER RUNPCO dml162 FLATER RUNPCO dml185 FLATER RUNPCO ist001 FLATER RUNPCO ist002 FLATER RUNPCO ist003 FLATER RUNPCO ist004 FLATER RUNPCO ist005 FLATER RUNPCO ist006 FLATER RUNPCO ist007 FLATER RUNPCO_2 mpa010 FLATER; HU RUNPCO_2 mpa011 FLATER; HU RUNPCO dml139 HU RUNPCO dml140 HU RUNPCO dml158 HU RUNPCO_2 mpa009 SULLIVAN1 RUNPCO_2 mpa012 SULLIVAN1 RUNPCO_2 mpa013 SULLIVAN1 NOTE ------------- Intermediate Only Features ------------- RUNPCO xts700 CTS1 RUNPCO xts701 CTS1 RUNPCO xts702 CTS1 RUNPCO xts703 CTS1 RUNPCO xts716 CTS1 RUNPCO xts717 CTS1 RUNPCO xts718 CTS1 RUNPCO xts725 CTS1 RUNPCO xts726 CTS1 RUNPCO xts727 CTS1 RUNPCO xts728 CTS1 RUNPCO xts729 CTS1 RUNPCO xts730 CTS1 RUNPCO xts731 CTS1 RUNPCO xts732 CTS1 RUNPCO xts733 CTS1 RUNPCO xts734 CTS1 RUNPCO xts735 CTS1 RUNPCO xts736 CTS1 RUNPCO xts737 CTS1 RUNPCO xts738 CTS1 RUNPCO xts739 CTS1 RUNPCO xts740 CTS1 RUNPCO xts741 CTS1 RUNPCO xts742 CTS1 RUNPCO xts744 CTS1 RUNPCO xts745 CTS1 RUNPCO xts746 CTS1 RUNPCO xts747 CTS1 RUNPCO xts748 CTS1 RUNPCO xts749 CTS1 RUNPCO xts750 CTS1 RUNPCO xts751 CTS1 RUNPCO xts752 CTS1 RUNPCO xts753 CTS1 RUNPCO xts754 CTS1 RUNPCO xts755 CTS1 RUNPCO xts756 CTS1 RUNPCO xts758 CTS1 RUNPCO xts759 CTS1 RUNPCO xts760 CTS1 RUNPCO xts761 CTS1 RUNPCO xts762 CTS1 RUNPCO xts763 CTS1 RUNPCO xts764 CTS1 RUNPCO xts765 CTS1 RUNPCO xts766 CTS1 RUNPCO xts767 CTS1 RUNPCO xts768 CTS1 RUNPCO xts798 CTS1 RUNPCO xts799 CTS1 RUNPCO yts750 CTS1 RUNPCO yts751 CTS1 RUNPCO yts752 CTS1 RUNPCO yts753 CTS1 RUNPCO yts754 CTS1 RUNPCO yts755 CTS1 RUNPCO yts756 CTS1 RUNPCO yts757 CTS1 RUNPCO yts759 CTS1 RUNPCO yts760 CTS1 RUNPCO yts761 CTS1 RUNPCO yts762 CTS1 RUNPCO yts763 CTS1 RUNPCO yts764 CTS1 RUNPCO yts765 CTS1 RUNPCO yts766 CTS1 RUNPCO yts767 CTS1 RUNPCO yts768 CTS1 RUNPCO yts769 CTS1 RUNPCO yts770 CTS1 RUNPCO yts771 CTS1 RUNPCO yts772 CTS1 RUNPCO yts773 CTS1 RUNPCO yts774 CTS1 RUNPCO yts775 CTS1 RUNPCO yts776 CTS1 RUNPCO yts778 CTS1 RUNPCO yts779 CTS1 RUNPCO yts780 CTS1 RUNPCO yts781 CTS1 RUNPCO yts782 CTS1 RUNPCO yts783 CTS1 RUNPCO yts784 CTS1 RUNPCO yts788 CTS1 RUNPCO yts789 CTS1 RUNPCO yts790 CTS1 RUNPCO yts793 CTS1 RUNPCO yts796 CTS1 RUNPCO yts797 CTS1 RUNPCO yts798 CTS1 RUNPCO yts799 CTS1 RUNPCO yts800 CTS1 RUNPCO yts802 CTS1 RUNPCO yts803 CTS1 RUNPCO yts805 CTS1 RUNPCO yts806 CTS1 RUNPCO yts807 CTS1 RUNPCO yts808 CTS1 RUNPCO yts809 CTS1 RUNPCO yts810 CTS1 RUNPCO yts811 CTS1 RUNPCO yts812 CTS1 RUNPCO yts813 CTS1 RUNPCO xts714 CTS2 RUNPCO yts777 CTS2 RUNPCO yts791 CTS2 RUNPCO yts794 CTS2 RUNPCO xts769 CTS3 RUNPCO xts770 CTS3 RUNPCO xts771 CTS3 RUNPCO xts715 CTS4 RUNPCO xts719 CTS4 RUNPCO xts720 CTS4 RUNPCO xts721 CTS4 RUNPCO xts722 CTS4 RUNPCO xts723 CTS4 RUNPCO xts724 CTS4 RUNPCO yts792 CTS4 RUNPCO yts795 CTS4 RUNPCO dml160 FLATER RUNPCO dml161 FLATER RUNPCO dml163 FLATER RUNPCO dml164 FLATER RUNPCO dml165 FLATER RUNPCO dml166 FLATER RUNPCO dml167 FLATER RUNPCO dml168 FLATER RUNPCO dml169 FLATER RUNPCO dml170 FLATER RUNPCO dml171 FLATER RUNPCO dml172 FLATER RUNPCO dml184 FLATER RUNPCO isi001 FLATER RUNPCO isi002 FLATER RUNPCO isi003 FLATER RUNPCO isi004 FLATER RUNPCO isi005 FLATER RUNPCO isi006 FLATER RUNPCO isi007 FLATER RUNPCO xts713 T7013PC NOTE ------------- Entry Sizing ------------- RUNPCO cdr031 FLATER RUNPCO dml132 FLATER RUNPCO cob010 HU RUNPCO dml005 HU RUNPCO dml042 HU RUNPCO dml043 HU RUNPCO dml044 HU RUNPCO dml045 HU RUNPCO dml046 HU RUNPCO dml047 HU RUNPCO dml048 HU RUNPCO dml049 HU RUNPCO dml050 HU RUNPCO dml055 HU RUNPCO dml056 HU RUNPCO dml057 HU RUNPCO cdr014 SUN RUNPCO cdr015 SUN RUNPCO cdr016 SUN RUNPCO cdr017 SUN RUNPCO cdr018 SUN NOTE ------------- Transitional Sizing ------------- RUNPCO dml098 FLATER RUNPCO dml099 FLATER RUNPCO dml106 FLATER RUNPCO dml107 FLATER NOTE ------------- Intermediate Sizing ------------- RUNPCO dml173 FLATER RUNPCO dml174 FLATER RUNPCO dml175 FLATER RUNPCO dml176 FLATER RUNPCO dml177 FLATER RUNPCO dml178 FLATER RUNPCO dml179 FLATER RUNPCO dml180 FLATER RUNPCO dml181 FLATER RUNPCO dml182 FLATER RUNPCO dml183 FLATER RUNPCO dml186 FLATER NOTE ------------- Optional/Informational Tests ------------- RUNPCO flg009 HU RUNPCO flg006 MCGINN RUNPCO dml068 HU RUNPCO dml078 HU RUNPCO dml084 SCHANZLE RUNPCO cdr025 SUN NOTE ------------- X/Open Only Features ------------- RUNPCO xbasetab XOPEN1 RUNPCO xop700 XOPEN1 RUNPCO xop701 XOPEN1 RUNPCO xop702 XOPEN1 RUNPCO xop703 XOPEN1 RUNPCO xop706 XOPEN1 RUNPCO xop707 XOPEN1 RUNPCO xop708 XOPEN1 RUNPCO xop709 XOPEN1 RUNPCO xop710 XOPEN1 RUNPCO xop712 XOPEN1 RUNPCO xop719 XOPEN2 RUNPCO xop720 XOPEN3 RUNPCO xop721 XOPEN2 RUNPCO xop722 XOPEN3 RUNPCO xop723 XOPEN1 RUNPCO_S xop725 XOPEN1 NOTE ----- Automated Reporting System RUNSQL report HU RUNSQL dataload HU RUNPCO reporta HU RUNPCO reportb HU RUNC reportzx HU [ zur Elbe Produktseite wechseln0.246Quellennavigators ] |