suzanne.soy/2010-m1s1-compilation
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Continuation des tests unitaire

Browse Source
This commit is contained in:
Bertrand BRUN 2010-10-21 17:57:39 +02:00
parent b48da132b3
commit f15a506577
2 changed files with 41 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
instructions.lisp
View File

@ -221,18 +221,52 @@ et termine par la liste APPEND."
(get-register vm 'R1))
t-value)
(set-register vm 'R0 21)
(set-register vm 'R1 21)
(deftest virtual-machine
(progn (ISN-ADD vm 'R0 'R1)
(progn (set-register vm 'R0 21)
(set-register vm 'R1 21)
(ISN-ADD vm 'R0 'R1)
(get-register vm 'R1))
42)
(set-register vm 'R0 21)
(set-register vm 'R1 21)
(deftest virtual-machine
(progn (ISN-SUB vm 'R0 'R1)
(progn (set-register vm 'R0 21)
(set-register vm 'R1 21)
(ISN-SUB vm 'R0 'R1)
(get-register vm 'R1))
0)
(deftest virtual-machine
(progn (set-register vm 'R0 21)
(set-register vm 'R1 2)
(ISN-MULT vm 'R0 'R1)
(get-register vm 'R1))
42)
(deftest virtual-machine
(progn (set-register vm 'R0 2)
(set-register vm 'R1 84)
(ISN-DIV vm 'R0 'R1)
(get-register vm 'R1))
42)
(deftest virtual-machine
(progn (set-register vm 'R0 0)
(ISN-INCR vm 'R0)
(get-register vm 'R0))
1)
(deftest virtual-machine
(progn (set-register vm 'R0 1)
(ISN-DECR vm 'R0)
(get-register vm 'R0))
0)
(deftest virtual-machine
(progn (set-register vm 'R1 42)
(ISN-PUSH vm 'R1)
(get-memory vm (get-register vm 'SP)))
42)
(dump-vm vm)

2
main.lisp
View File

@ -5,7 +5,7 @@
(cons (copytree (car l))
(copytree (cdr l)))))
(load "environnement")
(load "VM/instruction")
(load "instructions")
;; ...
(run-test t)
;(print-env-stack exemple-env-stack)