logicizing

logic-programming/test → logicizing/test

@@ -8,11 +8,11 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}-----------------------------${NORMAL}"
-echo -e "${YELLOW}Running eye logic-programming${NORMAL}"
+echo -e "${YELLOW}----------------------${NORMAL}"
+echo -e "${YELLOW}Running eye logicizing${NORMAL}"
 echo -e "${YELLOW}eye v$(eye --version 2>&1 | grep EYE | awk '{ print substr($2,2) }')${NORMAL}"
 echo -e "${YELLOW}swipl v$(swipl --version 2>&1 | awk '{ print $3 }')${NORMAL}"
-echo -e "${YELLOW}-----------------------------${NORMAL}"
+echo -e "${YELLOW}----------------------${NORMAL}"
 echo ""
 
 pad () {

test

@@ -4,6 +4,6 @@ pushd ~/github.com/eyereasoner/eye/reasoning > /dev/null
 popd > /dev/null
 echo ""
 
-pushd ~/github.com/eyereasoner/eye/logic-programming > /dev/null
+pushd ~/github.com/eyereasoner/eye/logicizing > /dev/null
 ./test
 popd > /dev/null