Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on May 7th, 2012  |  syntax: None  |  size: 16.68 KB  |  hits: 11  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. diff -w txl.out/./testcase1.svg student.out/./testcase1.svg
  2. 41,366d40
  3. <
  4. <     <text x="50" y="350">B</text>
  5. <     <line x1="100" x2="100" y1="350" y2="350" />
  6. <     <line x1="100" x2="200" y1="350" y2="350" />
  7. <     <line x1="200" x2="200" y1="350" y2="400" />
  8. <     <line x1="200" x2="300" y1="400" y2="400" />
  9. <     <line x1="300" x2="300" y1="400" y2="400" />
  10. <     <line x1="300" x2="400" y1="400" y2="400" />
  11. <     <line x1="400" x2="400" y1="400" y2="300" />
  12. <     <line x1="400" x2="500" y1="300" y2="300" />
  13. <     <line x1="500" x2="500" y1="300" y2="300" />
  14. <     <line x1="500" x2="600" y1="300" y2="300" />
  15. <     <line x1="600" x2="600" y1="300" y2="400" />
  16. <     <line x1="600" x2="700" y1="400" y2="400" />
  17. <     <line x1="700" x2="700" y1="400" y2="400" />
  18. <     <line x1="700" x2="800" y1="400" y2="400" />
  19. <     <line x1="800" x2="800" y1="400" y2="300" />
  20. <     <line x1="800" x2="900" y1="300" y2="300" />
  21. <     <line x1="900" x2="900" y1="300" y2="300" />
  22. <     <line x1="900" x2="1000" y1="300" y2="300" />
  23. <     <line x1="1000" x2="1000" y1="300" y2="400" />
  24. <     <line x1="1000" x2="1100" y1="400" y2="400" />
  25. <     <line x1="1100" x2="1100" y1="400" y2="400" />
  26. <     <line x1="1100" x2="1200" y1="400" y2="400" />
  27. <     <line x1="1200" x2="1200" y1="400" y2="300" />
  28. <     <line x1="1200" x2="1300" y1="300" y2="300" />
  29. <     <line x1="1300" x2="1300" y1="300" y2="300" />
  30. <     <line x1="1300" x2="1400" y1="300" y2="300" />
  31. <     <line x1="1400" x2="1400" y1="300" y2="400" />
  32. <     <line x1="1400" x2="1500" y1="400" y2="400" />
  33. <     <line x1="1500" x2="1500" y1="400" y2="400" />
  34. <     <line x1="1500" x2="1600" y1="400" y2="400" />
  35. <     <line x1="1600" x2="1600" y1="400" y2="300" />
  36. <     <line x1="1600" x2="1700" y1="300" y2="300" />
  37. <     <line x1="1700" x2="1700" y1="300" y2="300" />
  38. <     <line x1="1700" x2="1800" y1="300" y2="300" />
  39. <
  40. <     <text x="50" y="550">C</text>
  41. <     <line x1="100" x2="100" y1="550" y2="550" />
  42. <     <line x1="100" x2="200" y1="550" y2="550" />
  43. <     <line x1="200" x2="200" y1="550" y2="600" />
  44. <     <line x1="200" x2="300" y1="600" y2="600" />
  45. <     <line x1="300" x2="300" y1="600" y2="600" />
  46. <     <line x1="300" x2="400" y1="600" y2="600" />
  47. <     <line x1="400" x2="400" y1="600" y2="600" />
  48. <     <line x1="400" x2="500" y1="600" y2="600" />
  49. <     <line x1="500" x2="500" y1="600" y2="600" />
  50. <     <line x1="500" x2="600" y1="600" y2="600" />
  51. <     <line x1="600" x2="600" y1="600" y2="500" />
  52. <     <line x1="600" x2="700" y1="500" y2="500" />
  53. <     <line x1="700" x2="700" y1="500" y2="500" />
  54. <     <line x1="700" x2="800" y1="500" y2="500" />
  55. <     <line x1="800" x2="800" y1="500" y2="500" />
  56. <     <line x1="800" x2="900" y1="500" y2="500" />
  57. <     <line x1="900" x2="900" y1="500" y2="500" />
  58. <     <line x1="900" x2="1000" y1="500" y2="500" />
  59. <     <line x1="1000" x2="1000" y1="500" y2="600" />
  60. <     <line x1="1000" x2="1100" y1="600" y2="600" />
  61. <     <line x1="1100" x2="1100" y1="600" y2="600" />
  62. <     <line x1="1100" x2="1200" y1="600" y2="600" />
  63. <     <line x1="1200" x2="1200" y1="600" y2="600" />
  64. <     <line x1="1200" x2="1300" y1="600" y2="600" />
  65. <     <line x1="1300" x2="1300" y1="600" y2="600" />
  66. <     <line x1="1300" x2="1400" y1="600" y2="600" />
  67. <     <line x1="1400" x2="1400" y1="600" y2="500" />
  68. <     <line x1="1400" x2="1500" y1="500" y2="500" />
  69. <     <line x1="1500" x2="1500" y1="500" y2="500" />
  70. <     <line x1="1500" x2="1600" y1="500" y2="500" />
  71. <     <line x1="1600" x2="1600" y1="500" y2="500" />
  72. <     <line x1="1600" x2="1700" y1="500" y2="500" />
  73. <     <line x1="1700" x2="1700" y1="500" y2="500" />
  74. <     <line x1="1700" x2="1800" y1="500" y2="500" />
  75. <
  76. <     <text x="50" y="750">D</text>
  77. <     <line x1="100" x2="100" y1="750" y2="750" />
  78. <     <line x1="100" x2="200" y1="750" y2="750" />
  79. <     <line x1="200" x2="200" y1="750" y2="800" />
  80. <     <line x1="200" x2="300" y1="800" y2="800" />
  81. <     <line x1="300" x2="300" y1="800" y2="800" />
  82. <     <line x1="300" x2="400" y1="800" y2="800" />
  83. <     <line x1="400" x2="400" y1="800" y2="800" />
  84. <     <line x1="400" x2="500" y1="800" y2="800" />
  85. <     <line x1="500" x2="500" y1="800" y2="800" />
  86. <     <line x1="500" x2="600" y1="800" y2="800" />
  87. <     <line x1="600" x2="600" y1="800" y2="800" />
  88. <     <line x1="600" x2="700" y1="800" y2="800" />
  89. <     <line x1="700" x2="700" y1="800" y2="800" />
  90. <     <line x1="700" x2="800" y1="800" y2="800" />
  91. <     <line x1="800" x2="800" y1="800" y2="800" />
  92. <     <line x1="800" x2="900" y1="800" y2="800" />
  93. <     <line x1="900" x2="900" y1="800" y2="800" />
  94. <     <line x1="900" x2="1000" y1="800" y2="800" />
  95. <     <line x1="1000" x2="1000" y1="800" y2="700" />
  96. <     <line x1="1000" x2="1100" y1="700" y2="700" />
  97. <     <line x1="1100" x2="1100" y1="700" y2="700" />
  98. <     <line x1="1100" x2="1200" y1="700" y2="700" />
  99. <     <line x1="1200" x2="1200" y1="700" y2="700" />
  100. <     <line x1="1200" x2="1300" y1="700" y2="700" />
  101. <     <line x1="1300" x2="1300" y1="700" y2="700" />
  102. <     <line x1="1300" x2="1400" y1="700" y2="700" />
  103. <     <line x1="1400" x2="1400" y1="700" y2="700" />
  104. <     <line x1="1400" x2="1500" y1="700" y2="700" />
  105. <     <line x1="1500" x2="1500" y1="700" y2="700" />
  106. <     <line x1="1500" x2="1600" y1="700" y2="700" />
  107. <     <line x1="1600" x2="1600" y1="700" y2="700" />
  108. <     <line x1="1600" x2="1700" y1="700" y2="700" />
  109. <     <line x1="1700" x2="1700" y1="700" y2="700" />
  110. <     <line x1="1700" x2="1800" y1="700" y2="700" />
  111. <
  112. <     <text x="50" y="950">OR</text>
  113. <     <line x1="100" x2="100" y1="950" y2="950" />
  114. <     <line x1="100" x2="200" y1="950" y2="950" />
  115. <     <line x1="200" x2="200" y1="950" y2="1000" />
  116. <     <line x1="200" x2="300" y1="1000" y2="1000" />
  117. <     <line x1="300" x2="300" y1="1000" y2="900" />
  118. <     <line x1="300" x2="400" y1="900" y2="900" />
  119. <     <line x1="400" x2="400" y1="900" y2="900" />
  120. <     <line x1="400" x2="500" y1="900" y2="900" />
  121. <     <line x1="500" x2="500" y1="900" y2="900" />
  122. <     <line x1="500" x2="600" y1="900" y2="900" />
  123. <     <line x1="600" x2="600" y1="900" y2="900" />
  124. <     <line x1="600" x2="700" y1="900" y2="900" />
  125. <     <line x1="700" x2="700" y1="900" y2="900" />
  126. <     <line x1="700" x2="800" y1="900" y2="900" />
  127. <     <line x1="800" x2="800" y1="900" y2="900" />
  128. <     <line x1="800" x2="900" y1="900" y2="900" />
  129. <     <line x1="900" x2="900" y1="900" y2="900" />
  130. <     <line x1="900" x2="1000" y1="900" y2="900" />
  131. <     <line x1="1000" x2="1000" y1="900" y2="900" />
  132. <     <line x1="1000" x2="1100" y1="900" y2="900" />
  133. <     <line x1="1100" x2="1100" y1="900" y2="900" />
  134. <     <line x1="1100" x2="1200" y1="900" y2="900" />
  135. <     <line x1="1200" x2="1200" y1="900" y2="900" />
  136. <     <line x1="1200" x2="1300" y1="900" y2="900" />
  137. <     <line x1="1300" x2="1300" y1="900" y2="900" />
  138. <     <line x1="1300" x2="1400" y1="900" y2="900" />
  139. <     <line x1="1400" x2="1400" y1="900" y2="900" />
  140. <     <line x1="1400" x2="1500" y1="900" y2="900" />
  141. <     <line x1="1500" x2="1500" y1="900" y2="900" />
  142. <     <line x1="1500" x2="1600" y1="900" y2="900" />
  143. <     <line x1="1600" x2="1600" y1="900" y2="900" />
  144. <     <line x1="1600" x2="1700" y1="900" y2="900" />
  145. <     <line x1="1700" x2="1700" y1="900" y2="900" />
  146. <     <line x1="1700" x2="1800" y1="900" y2="900" />
  147. <
  148. <     <text x="50" y="1150">NOR</text>
  149. <     <line x1="100" x2="100" y1="1150" y2="1150" />
  150. <     <line x1="100" x2="200" y1="1150" y2="1150" />
  151. <     <line x1="200" x2="200" y1="1150" y2="1100" />
  152. <     <line x1="200" x2="300" y1="1100" y2="1100" />
  153. <     <line x1="300" x2="300" y1="1100" y2="1200" />
  154. <     <line x1="300" x2="400" y1="1200" y2="1200" />
  155. <     <line x1="400" x2="400" y1="1200" y2="1200" />
  156. <     <line x1="400" x2="500" y1="1200" y2="1200" />
  157. <     <line x1="500" x2="500" y1="1200" y2="1200" />
  158. <     <line x1="500" x2="600" y1="1200" y2="1200" />
  159. <     <line x1="600" x2="600" y1="1200" y2="1200" />
  160. <     <line x1="600" x2="700" y1="1200" y2="1200" />
  161. <     <line x1="700" x2="700" y1="1200" y2="1200" />
  162. <     <line x1="700" x2="800" y1="1200" y2="1200" />
  163. <     <line x1="800" x2="800" y1="1200" y2="1200" />
  164. <     <line x1="800" x2="900" y1="1200" y2="1200" />
  165. <     <line x1="900" x2="900" y1="1200" y2="1200" />
  166. <     <line x1="900" x2="1000" y1="1200" y2="1200" />
  167. <     <line x1="1000" x2="1000" y1="1200" y2="1200" />
  168. <     <line x1="1000" x2="1100" y1="1200" y2="1200" />
  169. <     <line x1="1100" x2="1100" y1="1200" y2="1200" />
  170. <     <line x1="1100" x2="1200" y1="1200" y2="1200" />
  171. <     <line x1="1200" x2="1200" y1="1200" y2="1200" />
  172. <     <line x1="1200" x2="1300" y1="1200" y2="1200" />
  173. <     <line x1="1300" x2="1300" y1="1200" y2="1200" />
  174. <     <line x1="1300" x2="1400" y1="1200" y2="1200" />
  175. <     <line x1="1400" x2="1400" y1="1200" y2="1200" />
  176. <     <line x1="1400" x2="1500" y1="1200" y2="1200" />
  177. <     <line x1="1500" x2="1500" y1="1200" y2="1200" />
  178. <     <line x1="1500" x2="1600" y1="1200" y2="1200" />
  179. <     <line x1="1600" x2="1600" y1="1200" y2="1200" />
  180. <     <line x1="1600" x2="1700" y1="1200" y2="1200" />
  181. <     <line x1="1700" x2="1700" y1="1200" y2="1200" />
  182. <     <line x1="1700" x2="1800" y1="1200" y2="1200" />
  183. <
  184. <     <text x="50" y="1350">AND</text>
  185. <     <line x1="100" x2="100" y1="1350" y2="1350" />
  186. <     <line x1="100" x2="200" y1="1350" y2="1350" />
  187. <     <line x1="200" x2="200" y1="1350" y2="1400" />
  188. <     <line x1="200" x2="300" y1="1400" y2="1400" />
  189. <     <line x1="300" x2="300" y1="1400" y2="1400" />
  190. <     <line x1="300" x2="400" y1="1400" y2="1400" />
  191. <     <line x1="400" x2="400" y1="1400" y2="1400" />
  192. <     <line x1="400" x2="500" y1="1400" y2="1400" />
  193. <     <line x1="500" x2="500" y1="1400" y2="1400" />
  194. <     <line x1="500" x2="600" y1="1400" y2="1400" />
  195. <     <line x1="600" x2="600" y1="1400" y2="1400" />
  196. <     <line x1="600" x2="700" y1="1400" y2="1400" />
  197. <     <line x1="700" x2="700" y1="1400" y2="1400" />
  198. <     <line x1="700" x2="800" y1="1400" y2="1400" />
  199. <     <line x1="800" x2="800" y1="1400" y2="1400" />
  200. <     <line x1="800" x2="900" y1="1400" y2="1400" />
  201. <     <line x1="900" x2="900" y1="1400" y2="1400" />
  202. <     <line x1="900" x2="1000" y1="1400" y2="1400" />
  203. <     <line x1="1000" x2="1000" y1="1400" y2="1400" />
  204. <     <line x1="1000" x2="1100" y1="1400" y2="1400" />
  205. <     <line x1="1100" x2="1100" y1="1400" y2="1400" />
  206. <     <line x1="1100" x2="1200" y1="1400" y2="1400" />
  207. <     <line x1="1200" x2="1200" y1="1400" y2="1400" />
  208. <     <line x1="1200" x2="1300" y1="1400" y2="1400" />
  209. <     <line x1="1300" x2="1300" y1="1400" y2="1400" />
  210. <     <line x1="1300" x2="1400" y1="1400" y2="1400" />
  211. <     <line x1="1400" x2="1400" y1="1400" y2="1400" />
  212. <     <line x1="1400" x2="1500" y1="1400" y2="1400" />
  213. <     <line x1="1500" x2="1500" y1="1400" y2="1400" />
  214. <     <line x1="1500" x2="1600" y1="1400" y2="1400" />
  215. <     <line x1="1600" x2="1600" y1="1400" y2="1400" />
  216. <     <line x1="1600" x2="1700" y1="1400" y2="1400" />
  217. <     <line x1="1700" x2="1700" y1="1400" y2="1300" />
  218. <     <line x1="1700" x2="1800" y1="1300" y2="1300" />
  219. <
  220. <     <text x="50" y="1550">NAND</text>
  221. <     <line x1="100" x2="100" y1="1550" y2="1550" />
  222. <     <line x1="100" x2="200" y1="1550" y2="1550" />
  223. <     <line x1="200" x2="200" y1="1550" y2="1500" />
  224. <     <line x1="200" x2="300" y1="1500" y2="1500" />
  225. <     <line x1="300" x2="300" y1="1500" y2="1500" />
  226. <     <line x1="300" x2="400" y1="1500" y2="1500" />
  227. <     <line x1="400" x2="400" y1="1500" y2="1500" />
  228. <     <line x1="400" x2="500" y1="1500" y2="1500" />
  229. <     <line x1="500" x2="500" y1="1500" y2="1500" />
  230. <     <line x1="500" x2="600" y1="1500" y2="1500" />
  231. <     <line x1="600" x2="600" y1="1500" y2="1500" />
  232. <     <line x1="600" x2="700" y1="1500" y2="1500" />
  233. <     <line x1="700" x2="700" y1="1500" y2="1500" />
  234. <     <line x1="700" x2="800" y1="1500" y2="1500" />
  235. <     <line x1="800" x2="800" y1="1500" y2="1500" />
  236. <     <line x1="800" x2="900" y1="1500" y2="1500" />
  237. <     <line x1="900" x2="900" y1="1500" y2="1500" />
  238. <     <line x1="900" x2="1000" y1="1500" y2="1500" />
  239. <     <line x1="1000" x2="1000" y1="1500" y2="1500" />
  240. <     <line x1="1000" x2="1100" y1="1500" y2="1500" />
  241. <     <line x1="1100" x2="1100" y1="1500" y2="1500" />
  242. <     <line x1="1100" x2="1200" y1="1500" y2="1500" />
  243. <     <line x1="1200" x2="1200" y1="1500" y2="1500" />
  244. <     <line x1="1200" x2="1300" y1="1500" y2="1500" />
  245. <     <line x1="1300" x2="1300" y1="1500" y2="1500" />
  246. <     <line x1="1300" x2="1400" y1="1500" y2="1500" />
  247. <     <line x1="1400" x2="1400" y1="1500" y2="1500" />
  248. <     <line x1="1400" x2="1500" y1="1500" y2="1500" />
  249. <     <line x1="1500" x2="1500" y1="1500" y2="1500" />
  250. <     <line x1="1500" x2="1600" y1="1500" y2="1500" />
  251. <     <line x1="1600" x2="1600" y1="1500" y2="1500" />
  252. <     <line x1="1600" x2="1700" y1="1500" y2="1500" />
  253. <     <line x1="1700" x2="1700" y1="1500" y2="1600" />
  254. <     <line x1="1700" x2="1800" y1="1600" y2="1600" />
  255. <
  256. <     <text x="50" y="1750">XOR</text>
  257. <     <line x1="100" x2="100" y1="1750" y2="1750" />
  258. <     <line x1="100" x2="200" y1="1750" y2="1750" />
  259. <     <line x1="200" x2="200" y1="1750" y2="1800" />
  260. <     <line x1="200" x2="300" y1="1800" y2="1800" />
  261. <     <line x1="300" x2="300" y1="1800" y2="1700" />
  262. <     <line x1="300" x2="400" y1="1700" y2="1700" />
  263. <     <line x1="400" x2="400" y1="1700" y2="1700" />
  264. <     <line x1="400" x2="500" y1="1700" y2="1700" />
  265. <     <line x1="500" x2="500" y1="1700" y2="1800" />
  266. <     <line x1="500" x2="600" y1="1800" y2="1800" />
  267. <     <line x1="600" x2="600" y1="1800" y2="1700" />
  268. <     <line x1="600" x2="700" y1="1700" y2="1700" />
  269. <     <line x1="700" x2="700" y1="1700" y2="1800" />
  270. <     <line x1="700" x2="800" y1="1800" y2="1800" />
  271. <     <line x1="800" x2="800" y1="1800" y2="1800" />
  272. <     <line x1="800" x2="900" y1="1800" y2="1800" />
  273. <     <line x1="900" x2="900" y1="1800" y2="1700" />
  274. <     <line x1="900" x2="1000" y1="1700" y2="1700" />
  275. <     <line x1="1000" x2="1000" y1="1700" y2="1700" />
  276. <     <line x1="1000" x2="1100" y1="1700" y2="1700" />
  277. <     <line x1="1100" x2="1100" y1="1700" y2="1800" />
  278. <     <line x1="1100" x2="1200" y1="1800" y2="1800" />
  279. <     <line x1="1200" x2="1200" y1="1800" y2="1800" />
  280. <     <line x1="1200" x2="1300" y1="1800" y2="1800" />
  281. <     <line x1="1300" x2="1300" y1="1800" y2="1700" />
  282. <     <line x1="1300" x2="1400" y1="1700" y2="1700" />
  283. <     <line x1="1400" x2="1400" y1="1700" y2="1800" />
  284. <     <line x1="1400" x2="1500" y1="1800" y2="1800" />
  285. <     <line x1="1500" x2="1500" y1="1800" y2="1700" />
  286. <     <line x1="1500" x2="1600" y1="1700" y2="1700" />
  287. <     <line x1="1600" x2="1600" y1="1700" y2="1700" />
  288. <     <line x1="1600" x2="1700" y1="1700" y2="1700" />
  289. <     <line x1="1700" x2="1700" y1="1700" y2="1800" />
  290. <     <line x1="1700" x2="1800" y1="1800" y2="1800" />
  291. <
  292. <     <text x="50" y="1950">XNOR</text>
  293. <     <line x1="100" x2="100" y1="1950" y2="1950" />
  294. <     <line x1="100" x2="200" y1="1950" y2="1950" />
  295. <     <line x1="200" x2="200" y1="1950" y2="1900" />
  296. <     <line x1="200" x2="300" y1="1900" y2="1900" />
  297. <     <line x1="300" x2="300" y1="1900" y2="2000" />
  298. <     <line x1="300" x2="400" y1="2000" y2="2000" />
  299. <     <line x1="400" x2="400" y1="2000" y2="2000" />
  300. <     <line x1="400" x2="500" y1="2000" y2="2000" />
  301. <     <line x1="500" x2="500" y1="2000" y2="1900" />
  302. <     <line x1="500" x2="600" y1="1900" y2="1900" />
  303. <     <line x1="600" x2="600" y1="1900" y2="2000" />
  304. <     <line x1="600" x2="700" y1="2000" y2="2000" />
  305. <     <line x1="700" x2="700" y1="2000" y2="1900" />
  306. <     <line x1="700" x2="800" y1="1900" y2="1900" />
  307. <     <line x1="800" x2="800" y1="1900" y2="1900" />
  308. <     <line x1="800" x2="900" y1="1900" y2="1900" />
  309. <     <line x1="900" x2="900" y1="1900" y2="2000" />
  310. <     <line x1="900" x2="1000" y1="2000" y2="2000" />
  311. <     <line x1="1000" x2="1000" y1="2000" y2="2000" />
  312. <     <line x1="1000" x2="1100" y1="2000" y2="2000" />
  313. <     <line x1="1100" x2="1100" y1="2000" y2="1900" />
  314. <     <line x1="1100" x2="1200" y1="1900" y2="1900" />
  315. <     <line x1="1200" x2="1200" y1="1900" y2="1900" />
  316. <     <line x1="1200" x2="1300" y1="1900" y2="1900" />
  317. <     <line x1="1300" x2="1300" y1="1900" y2="2000" />
  318. <     <line x1="1300" x2="1400" y1="2000" y2="2000" />
  319. <     <line x1="1400" x2="1400" y1="2000" y2="1900" />
  320. <     <line x1="1400" x2="1500" y1="1900" y2="1900" />
  321. <     <line x1="1500" x2="1500" y1="1900" y2="2000" />
  322. <     <line x1="1500" x2="1600" y1="2000" y2="2000" />
  323. <     <line x1="1600" x2="1600" y1="2000" y2="2000" />
  324. <     <line x1="1600" x2="1700" y1="2000" y2="2000" />
  325. <     <line x1="1700" x2="1700" y1="2000" y2="1900" />
  326. <     <line x1="1700" x2="1800" y1="1900" y2="1900" />
  327. <
  328. < </svg>
  329. make: *** [student.out/./testcase1.diff] Error 1
create a new version of this paste RAW Paste Data