게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

Challange3 Test Case

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김형모



가입: 2014년 9월 3일
올린 글: 37

올리기올려짐: 2014년12월20일 1:45    주제: Challange3 Test Case 인용과 함께 답변

줏어왔습니다.

코드:
open CommonGrade
open Hw7_3
open Smatch

let code1 = Mult (Mult (One, Star Zero), Opt One)

let code2 = Mult (Star (Mult (One, Zero)), One)

let code3 =
   Mult
      (Mult (Mult (Two, One), (Star (Sum (One, Zero)))),
       Mult (Opt One, (Star Zero)))

let code4 =
   Mult (Mult (Mult (Zero, One), Sum (Star Two, Opt One)), Opt (Star Zero))

let code5 = Star (Sum (Zero, One))

let code6 = Mult (Star Zero, Star One)

let _ = output (fun () -> true = (smatch "11" code1))
let _ = output (fun () -> true = (smatch "1" code1))
let _ = output (fun () -> true = (smatch "101" code1))
let _ = output (fun () -> true = (smatch "10001" code1))
let _ = output (fun () -> true =
   (smatch
      "10000000000000000000000000000000000000000000000000000000000000" code1))
let _ = output (fun () -> false = (smatch "01" code1))
let _ = output (fun () -> false = (smatch "00000000001" code1))
let _ = output (fun () -> false = (smatch "0" code1))
let _ = output (fun () -> false = (smatch "000" code1))
let _ = output (fun () -> false =
   (smatch
      "10000000000000000000000000000000000000000000000000000000000021" code1))

let _ = output (fun () -> true = (smatch "1" code2))
let _ = output (fun () -> true = (smatch "101" code2))
let _ = output (fun () -> true = (smatch "10101" code2))
let _ = output (fun () -> true =
   (smatch "10101010101010101010101010101010101" code2))
let _ = output (fun () -> true =
   (smatch
      "1010101010101010101010101010101010101010101010101010101010101" code2))
let _ = output (fun () -> false = (smatch "11" code2))
let _ = output (fun () -> false = (smatch "1001" code2))
let _ = output (fun () -> false = (smatch "1101" code2))
let _ = output (fun () -> false =
   (smatch
      "1011111111111111111111111111111111111111111111111111111111101" code2))
let _ = output (fun () -> false =
   (smatch
      "10101010101010101010101010101010101010101010101010101010101021" code2))

let _ = output (fun () -> true = (smatch "21" code3))
let _ = output (fun () -> true = (smatch "211110111" code3))
let _ = output (fun () -> true = (smatch "2100000010000000000" code3))
let _ = output (fun () -> true =
   (smatch "21101001010011101010000000000011111111111" code3))
let _ = output (fun () -> true =
   (smatch
      "210011110100111100111100000100000101110010010101010100111110100" code3))
let _ = output (fun () -> false = (smatch "201" code3))
let _ = output (fun () -> false = (smatch "11010" code3))
let _ = output (fun () -> false = (smatch "2012" code3))
let _ = output (fun () -> false =
   (smatch "1111111111111110100000000000000000010000" code3))
let _ = output (fun () -> false =
   (smatch
      "210101001010010000101100102101001010101010010101010101010100101" code3))

let _ = output (fun () -> true = (smatch "010" code4))
let _ = output (fun () -> true = (smatch "011" code4))
let _ = output (fun () -> true = (smatch "012" code4))
let _ = output (fun () -> true =
   (smatch
      "01222222222222222222222222222222222222222000000000000000000000" code4))
let _ = output (fun () -> true =
   (smatch
      "01100000000000000000000000000000000000000000000000000000000000" code4))
let _ = output (fun () -> false = (smatch "0112" code4))
let _ = output (fun () -> false = (smatch "01022" code4))
let _ = output (fun () -> false = (smatch "01210" code4))
let _ = output (fun () -> false =
   (smatch "0122222210000000000000000" code4))
let _ = output (fun () -> false =
   (smatch "012222222222222222222000000000000000000000000000001" code4))

let _ = output (fun () -> true = (smatch "0" code5))
let _ = output (fun () -> true = (smatch "1" code5))
let _ = output (fun () -> true = (smatch "0101000011101" code5))
let _ = output (fun () -> true =
   (smatch
      "1000000000111111111111100001101010010101010010100001101010010" code5))
let _ = output (fun () -> true =
   (smatch
      "111101011010001101010001111111111110000000000011111111111111010" code5))
let _ = output (fun () -> false = (smatch "2" code5))
let _ = output (fun () -> false =
     (smatch "01010101001012010101010111111111111111111111" code5))
let _ = output (fun () -> false =
     (smatch "111111111111011101000101001111110101001010010112" code5))
let _ = output (fun () -> false =
     (smatch "201010100001010011111110100101010010101010010" code5))
let _ = output (fun () -> false =
     (smatch
        "101001010101001010011101000101000000000010100101000100111010112" code5))

let _ = output (fun () -> true = (smatch "0" code6))
let _ = output (fun () -> true = (smatch "1" code6))
let _ = output (fun () -> true = (smatch "0011" code6))
let _ = output (fun () -> true =
   (smatch "00000000000000000000000000001111111111111111111111" code6))
let _ = output (fun () -> true =
   (smatch
      "111111111111111111111111111111111111111111111111111111111111111" code6))

let _ = output (fun () -> false = (smatch "010" code6))
let _ = output (fun () -> false = (smatch "2" code6))
let _ = output (fun () -> false =
   (smatch "0000000000000000000000011111111111111111112" code6))
let _ = output (fun () -> false =
   (smatch
      "00000000000000000000000000000000000000000000000000000000000012" code6))
let _ = output (fun () -> false =
   (smatch
      "0000000000000000000000011111111111111111111111111111111111112" code6))

let _ = output (fun () -> true = (smatch "11" (Mult (Mult (One, Star Zero), Opt One))))
let _ = output (fun () -> false = (smatch "11" (Mult (Star (Mult (One, Zero)), One))))
let _ = output (fun () -> true = (smatch "1111111111111111" (Star (Star (Opt (One))))))
let _ = output (fun () -> true = (smatch "1" (Opt (Opt (Opt (One))))))
let _ = output (fun () -> true = (smatch "" (Opt (Opt (Opt (One))))))
let _ = output (fun () -> true = (smatch "1001122220101220011111120001010012222" (Mult (Mult (One, Star (Sum (Sum (Star (Zero), Star (One)), Star (Two)))), Two))))
let _ = output (fun () -> false = (smatch "1001122220101220011111120001010012221" (Mult (Mult (One, Star (Sum (Sum (Star (Zero), Star (One)), Star (Two)))), Two))))
let _ = output (fun () -> true = (smatch "01" (Mult (Zero, One))))
let _ = output (fun () -> true = (smatch "0" (Sum (Zero, One))))
let _ = output (fun () -> true = (smatch "2" (Opt (Two))))
let _ = output (fun () -> true = (smatch "1010010110" (Star (Sum (Mult (One, Zero), Mult (Zero, One))))))
let _ = output (fun () -> false = (smatch "10100" (Star (Mult (One, Zero)))))
let _ = output (fun () -> true = (smatch "010" (Mult (Mult (Opt (Zero), Opt (One)), Mult (Opt (One), Opt (Zero))))))
let _ = output (fun () -> true = (smatch "010" (Mult (Zero, Sum (Mult (Opt (Zero), Opt (One)), Mult (Opt (One), Opt (Zero)))))))
let _ = output (fun () -> true = (smatch "111111111111111112" (Mult (Star (Sum (Mult (One, One), One)), Two))))
let _ = output (fun () -> true = (smatch "1111111111112" (Mult (Star (Sum (Mult (Mult (One, One), One), Sum (Mult (One, One), One))), Two))))
let _ = output (fun () -> true = (smatch "0010010101000100001000100001000010010010012" (Mult (Star (Sum (Sum (Mult (Zero, One), Zero), Mult (One, Zero))), Two))))
let _ = output (fun () -> true = (smatch "0" (Zero)))
let _ = output (fun () -> true = (smatch "111111111" (Star (One))))
let _ = output (fun () -> false = (smatch "11" (Mult (Star (Mult (One, Zero)), One))))
let _ = output (fun () -> true = (smatch "101" (Mult (Star (Mult (One, Zero)), One))))
let _ = output (fun () -> true = (smatch "10101" (Mult (Star (Mult (One, Zero)), One))))
let _ = output (fun () -> false = (smatch "10102" (Mult (Star (Mult (One, Zero)), One))))
let _ = output (fun () -> false = (smatch "12" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> false = (smatch "1212" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> false = (smatch "121212" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> true = (smatch "12121212" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> false = (smatch "1212121212" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> false = (smatch "11112222" (Mult (Mult (Mult (One, Two), Mult (One, Two)), Mult (Mult (One, Two), Mult (One, Two))))))
let _ = output (fun () -> false = (smatch "1221211212121222211111221212111122212121211212221112221202" (Mult (Opt (Star (Sum (Star One, Star Two))), Opt (Sum (Sum (Zero, One), Two))))))
[/code]
위로
사용자 정보 보기 비밀 메시지 보내기
jaewooklee



가입: 2014년 10월 3일
올린 글: 23

올리기올려짐: 2014년12월20일 18:16    주제: 인용과 함께 답변

감사합니다
위로
사용자 정보 보기 비밀 메시지 보내기
이수현



가입: 2014년 9월 22일
올린 글: 4

올리기올려짐: 2014년12월20일 18:53    주제: 잘 되네요! 인용과 함께 답변

감사합니다 Smile
위로
사용자 정보 보기 비밀 메시지 보내기
황재동



가입: 2014년 9월 2일
올린 글: 80

올리기올려짐: 2014년12월20일 20:41    주제: 인용과 함께 답변

다 잘 나오는 것 같군요.
감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
선동성



가입: 2014년 9월 3일
올린 글: 8

올리기올려짐: 2014년12월21일 17:15    주제: 그냥 냈음 망할 뻔 했네요 인용과 함께 답변

감사합니다
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
drozd
손님





올리기올려짐: 2015년8월31일 6:38    주제: Antivirus keys, bases, soft 인용과 함께 답변

http://antivirkeys.okis.ru/ - Kluchi, bazy, soft k antivirusam: Kaspersky, Eset, Dr.Web, Avast, Avira (Keys, bases, soft for antiviruses: Kaspersky, Eset, Dr.Web, Avast, Avira)
위로
drozd
손님





올리기올려짐: 2015년8월31일 6:44    주제: Antivirus keys, bases, soft 인용과 함께 답변

http://antivirkeys.okis.ru/ - Kluchi, bazy, soft k antivirusam: Kaspersky, Eset, Dr.Web, Avast, Avira (Keys, bases, soft for antiviruses: Kaspersky, Eset, Dr.Web, Avast, Avira)
위로
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay