From 8f4a9aa1330cf7af7ad6db3ee4681c76925c258d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gusso230@student.liu.se>
Date: Fri, 18 Feb 2022 08:45:06 +0100
Subject: lab4 initial

---
 lab4/sanitycheck | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 lab4/sanitycheck

(limited to 'lab4/sanitycheck')

diff --git a/lab4/sanitycheck b/lab4/sanitycheck
new file mode 100644
index 0000000..acdcc99
--- /dev/null
+++ b/lab4/sanitycheck
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+if sed 's/--.*//' < "$1" | grep -n \'event
+then
+    echo "ERROR in $1: Du använder nyckelordet 'event. Om du vill kolla efter en klockflank bör rising_edge användas istället. Om du vill använda 'event till något annat i syntetiserbar kod bör du antagligen tänka om."
+    exit 1
+fi
+
+if sed 's/--.*//' < "$1" | egrep -n 'rising_edge *\(.*\)' | egrep -v 'rising_edge *\( *clk *\)'
+then
+    echo "ERROR in $1: Du försöker klocka på något som antagligen inte är en riktigt klocka. Du bör enbart använda rising_edge(clk) i din syntetiserbara kod."
+    exit 1
+fi
+
+if sed 's/--.*//' < "$1" | egrep -n 'falling_edge'
+then
+    echo "ERROR in $1: Du använder nyckelordet falling_edge i filen $1. I den här kursen bör du inte behöva använda det nyckelordet."
+    exit 1
+fi
+
+
-- 
cgit v1.2.1