From 47d6626e86956f3b570748c3913ae050ec7a37b4 Mon Sep 17 00:00:00 2001 From: choucl <79678411+choucl@users.noreply.github.com> Date: Mon, 17 Jul 2023 20:56:53 +0800 Subject: [PATCH] Fix running result of example of conflict_free Fix the running result that does not includes any attributes. --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 92a3f74..547739e 100644 --- a/README.md +++ b/README.md @@ -2718,12 +2718,12 @@ Warning: "ConflictFree.bsv", line 29, column 9: (G0021) ``` x=1 y=0 z=0 -x=2 y=1 z=2 -x=3 y=2 z=4 -x=4 y=3 z=6 -x=4 y=4 z=8 -x=3 y=5 z=10 -x=2 y=6 z=12 +x=2 y=1 z=0 +x=3 y=2 z=0 +x=4 y=3 z=0 +x=4 y=4 z=0 +x=4 y=5 z=0 +x=4 y=6 z=0 ``` 以上编译时 Warning 我们很熟悉,这是因为(之前讲过的)不能用 if 语句影响冲突的判断,编译器认为规则 `test1` 和 `test2` 在每周期都会发生冲突,在自作主张认为 `test1` 比 `test2` 紧急后,考虑到 `test1` **确实每周期都会激活** ,所以直接让 `test2` 永远都不激活,这是我们不想要的结果。