From a7172f8aae70a5100b453a08a3cb107db1bf1f60 Mon Sep 17 00:00:00 2001 From: rgimad <33692565+rgimad@users.noreply.github.com> Date: Mon, 6 Jan 2025 14:33:13 +0300 Subject: [PATCH] remove unused file --- err.txt | 3247 ------------------------------------------------------- 1 file changed, 3247 deletions(-) delete mode 100644 err.txt diff --git a/err.txt b/err.txt deleted file mode 100644 index 7d405bb..0000000 --- a/err.txt +++ /dev/null @@ -1,3247 +0,0 @@ -distance_meter.c:53:40: error: There is function call, cannot determine that 1st argument is initialized. [bughuntingUninitArg] - for (int i = (int)strlen(distanceMeter.highScore) - 1; i >= 0; i--) { - ^ -distance_meter.c:53:40: error: There is function call, cannot determine that 1st argument is initialized. [bughuntingUninitArg] - for (int i = (int)strlen(distanceMeter.highScore) - 1; i >= 0; i--) { - ^ -distance_meter.c:67:21: note: Calling distanceMeterUpdate - distanceMeterUpdate(0, 0); - ^ -distance_meter.c:132:28: note: Calling distanceMeterDrawHighScore - distanceMeterDrawHighScore(); - ^ -distance_meter.c:53:40: note: There is function call, cannot determine that 1st argument is initialized. - for (int i = (int)strlen(distanceMeter.highScore) - 1; i >= 0; i--) { - ^ -distance_meter.c:53:40: error: There is function call, cannot determine that 1st argument is initialized. [bughuntingUninitArg] - for (int i = (int)strlen(distanceMeter.highScore) - 1; i >= 0; i--) { - ^ -distance_meter.c:132:28: note: Calling distanceMeterDrawHighScore - distanceMeterDrawHighScore(); - ^ -distance_meter.c:53:40: note: There is function call, cannot determine that 1st argument is initialized. - for (int i = (int)strlen(distanceMeter.highScore) - 1; i >= 0; i--) { - ^ -horizon.c:119:26: error: Cannot determine that '*(int*)ohNode->data' is initialized [bughuntingUninit] - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:23:25: note: Calling horizonUpdateObstacles - horizonUpdateObstacles(deltaTime, currentSpeed); - ^ -horizon.c:83:34: note: Calling horizonAddNewObstacle - horizonAddNewObstacle(currentSpeed); - ^ -horizon.c:99:38: note: Calling horizonDuplicateObstacleCheck - if (horizonDuplicateObstacleCheck(otc->type) || currentSpeed < otc->minSpeed) { - ^ -horizon.c:119:26: note: Cannot determine that '*(int*)ohNode->data' is initialized - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:119:26: error: Cannot determine that '*(int*)ohNode->data' is initialized [bughuntingUninit] - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:89:30: note: Calling horizonAddNewObstacle - horizonAddNewObstacle(currentSpeed); - ^ -horizon.c:99:38: note: Calling horizonDuplicateObstacleCheck - if (horizonDuplicateObstacleCheck(otc->type) || currentSpeed < otc->minSpeed) { - ^ -horizon.c:119:26: note: Cannot determine that '*(int*)ohNode->data' is initialized - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:119:26: error: Cannot determine that '*(int*)ohNode->data' is initialized [bughuntingUninit] - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:83:34: note: Calling horizonAddNewObstacle - horizonAddNewObstacle(currentSpeed); - ^ -horizon.c:99:38: note: Calling horizonDuplicateObstacleCheck - if (horizonDuplicateObstacleCheck(otc->type) || currentSpeed < otc->minSpeed) { - ^ -horizon.c:119:26: note: Cannot determine that '*(int*)ohNode->data' is initialized - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:119:26: error: Cannot determine that '*(int*)ohNode->data' is initialized [bughuntingUninit] - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:99:38: note: Calling horizonDuplicateObstacleCheck - if (horizonDuplicateObstacleCheck(otc->type) || currentSpeed < otc->minSpeed) { - ^ -horizon.c:119:26: note: Cannot determine that '*(int*)ohNode->data' is initialized - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -horizon.c:119:26: error: Cannot determine that '*(int*)ohNode->data' is initialized [bughuntingUninit] - duplicateCount = *(int*)ohNode->data == nextObstacleType ? duplicateCount + 1 : 0; - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:1054:12: error: Cannot determine that 'val' is initialized [bughuntingUninit] - return val; - ^ -main.c:38:22: note: Calling _ksys_set_event_mask - _ksys_set_event_mask(0xC0000027); // ! - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:1054:12: note: Cannot determine that 'val' is initialized - return val; - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:543:12: error: Cannot determine that 'val' is initialized [bughuntingUninit] - return val; - ^ -main.c:49:47: note: Calling _ksys_check_event - uint32_t kos_event = _ksys_check_event(); - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:543:12: note: Cannot determine that 'val' is initialized - return val; - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:685:12: error: Cannot determine that 'val' is initialized [bughuntingUninit] - return val >> 8; - ^ -main.c:52:28: note: Calling _ksys_get_button - switch (_ksys_get_button()){ - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:685:12: note: Cannot determine that 'val' is initialized - return val >> 8; - ^ -main.c:75:57: error: Array index out of bounds, cannot determine that scancode&0x7F is less than 128 [bughuntingArrayIndexOutOfBounds] - uint8_t code = keyboard_layout[scancode & 0x7F]; - ^ -main.c:75:57: error: Array index out of bounds, cannot determine that scancode&0x7F is not negative [bughuntingArrayIndexNegative] - uint8_t code = keyboard_layout[scancode & 0x7F]; - ^ -misc.c:4:16: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZero] - return rand() % (_max - _min + 1) + _min; - ^ -misc.c:9:9: error: Buffer read/write, when calling 'sprintf' it cannot be determined that 1st argument is not overflowed [bughuntingBufferOverflow] - sprintf(num_str, "%d", num); // Convert num to a string - ^ -misc.c:12:9: error: Buffer read/write, when calling 'strcpy' it cannot be determined that 1st argument is not overflowed [bughuntingBufferOverflow] - strcpy(result, num_str + strlen(num_str) - ndigits); - ^ -misc.c:20:9: error: Buffer read/write, when calling 'strcpy' it cannot be determined that 1st argument is not overflowed [bughuntingBufferOverflow] - strcpy(result + z, num_str); - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:889:12: error: Cannot determine that 'val' is initialized [bughuntingUninit] - return val; - ^ -misc.c:25:27: note: Calling _ksys_get_ns_count - return _ksys_get_ns_count()/1000000; - ^ -/home/coder/Documents/Programming_projects/kolibrios-nextgen/programs/develop/ktcc/trunk/libc.obj/include/sys/ksys.h:889:12: note: Cannot determine that 'val' is initialized - return val; - ^ -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:92:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:118:109: note: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:92:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:118:109: note: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:92:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:122:67: note: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:92:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:122:67: note: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:137:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:118:109: note: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:118:109: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:137:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:118:109: note: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative - int sourceX = (sourceWidth * ob->size) * (0.5 * ((double)ob->size - 1)) + obstacleSpritePosX[ob->typeConfig.type]; - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 [bughuntingArrayIndexOutOfBounds] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:137:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:122:67: note: Array index out of bounds, cannot determine that ob->typeConfig.type is less than 3 - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:122:67: error: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative [bughuntingArrayIndexNegative] - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -obstacle.c:137:14: note: Calling obstacleDraw - obstacleDraw(ob); - ^ -obstacle.c:122:67: note: Array index out of bounds, cannot determine that ob->typeConfig.type is not negative - graphicsBlitAtlasImage(sourceX, obstacleSpritePosY[ob->typeConfig.type], ob->xPos, ob->yPos, sourceWidth*ob->size, sourceHeight, false); - ^ -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:253:16: note: Calling runnerRestart - runnerRestart(); - ^ -runner.c:240:15: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:35:14: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:51:16: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:87:17: note: Calling runnerRestart - runnerRestart(); - ^ -runner.c:240:15: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:92:13: note: Calling runnerPlay - runnerPlay(); - ^ -runner.c:220:15: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:220:15: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -runner.c:139:58: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -runner.c:240:15: note: Calling runnerUpdate - runnerUpdate(); - ^ -runner.c:139:58: note: There is division, cannot determine that there can't be a division by zero. - runner.distanceRan += runner.currentSpeed * deltaTime / runner.msPerFrame; - ^ -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -runner.c:272:17: error: Cannot determine that 'tRexBox.x' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - return (tRexBox.x < obstacleBox.x + obstacleBox.width && - ^ -runner.c:272:33: error: Cannot determine that 'obstacleBox.x' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - return (tRexBox.x < obstacleBox.x + obstacleBox.width && - ^ -runner.c:272:49: error: Cannot determine that 'obstacleBox.width' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - return (tRexBox.x < obstacleBox.x + obstacleBox.width && - ^ -runner.c:273:10: error: Cannot determine that 'tRexBox.x' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.x + tRexBox.width > obstacleBox.x && - ^ -runner.c:273:22: error: Cannot determine that 'tRexBox.width' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.x + tRexBox.width > obstacleBox.x && - ^ -runner.c:273:42: error: Cannot determine that 'obstacleBox.x' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.x + tRexBox.width > obstacleBox.x && - ^ -runner.c:274:10: error: Cannot determine that 'tRexBox.y' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.y < obstacleBox.y + obstacleBox.height && - ^ -runner.c:274:26: error: Cannot determine that 'obstacleBox.y' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.y < obstacleBox.y + obstacleBox.height && - ^ -runner.c:274:42: error: Cannot determine that 'obstacleBox.height' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.y < obstacleBox.y + obstacleBox.height && - ^ -runner.c:275:10: error: Cannot determine that 'tRexBox.height' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.height + tRexBox.y > obstacleBox.y); - ^ -runner.c:275:27: error: Cannot determine that 'tRexBox.y' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.height + tRexBox.y > obstacleBox.y); - ^ -runner.c:275:43: error: Cannot determine that 'obstacleBox.y' is initialized (you can use 'const' to say data must be initialized) [bughuntingUninitNonConstArg] - tRexBox.height + tRexBox.y > obstacleBox.y); - ^ -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Real and (_ FloatingPoint 11 53) are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3: Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -z3:Sorts Bool and Int are incompatible -trex.c:62:36: error: Array index out of bounds, cannot determine that opt_status is less than 5 [bughuntingArrayIndexOutOfBounds] - trex.msPerFrame = trexAnimFrames[opt_status].msPerFrame; - ^ -trex.c:62:36: error: Array index out of bounds, cannot determine that opt_status is not negative [bughuntingArrayIndexNegative] - trex.msPerFrame = trexAnimFrames[opt_status].msPerFrame; - ^ -trex.c:63:43: error: Array index out of bounds, cannot determine that opt_status is less than 5 [bughuntingArrayIndexOutOfBounds] - trex.currentAnimFrames = trexAnimFrames[opt_status]; - ^ -trex.c:63:43: error: Array index out of bounds, cannot determine that opt_status is not negative [bughuntingArrayIndexNegative] - trex.currentAnimFrames = trexAnimFrames[opt_status]; - ^ -trex.c:162:41: error: Array index out of bounds, cannot determine that trex.status is less than 5 [bughuntingArrayIndexOutOfBounds] - double msPerFrame = trexAnimFrames[trex.status].msPerFrame; - ^ -trex.c:162:41: error: Array index out of bounds, cannot determine that trex.status is not negative [bughuntingArrayIndexNegative] - double msPerFrame = trexAnimFrames[trex.status].msPerFrame; - ^ -trex.c:163:35: error: There is division, cannot determine that there can't be a division by zero. [bughuntingDivByZeroFloat] - double framesElapsed = deltaTime / msPerFrame; - ^ -ulist.c:230:47: error: Cannot determine that '*front' is initialized [bughuntingUninit] - printf("Front element of the list: %d\n", *front); // Expected output: 30 - ^ -ulist.c:234:46: error: Cannot determine that '*back' is initialized [bughuntingUninit] - printf("Back element of the list: %d\n", *back); // Expected output: 30 - ^