Project

General

Profile

Actions
Copy link

Bug #10024

open

jessie: typing error: numeric, boolean or pointer types expected for == and !=

Added by Denis Efremov over 4 years ago.

Status:
New
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
01/09/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

$ frama-c -av is_successorless_vertex.c

[kernel] Parsing is_successorless_vertex.c (with preprocessing)
[av] Starting AstraVer translation
[av] Warning: \separated is not supported by AstraVer. This predicate will be ignored
[av] Producing files for AstraVer in subdir is_successorless_vertex.c.av
[av] File is_successorless_vertex.c.av/is_successorless_vertex_c.jc written.
[av] File is_successorless_vertex.c.av/is_successorless_vertex_c.cloc written.
[av] Calling AstraVer tool in subdir is_successorless_vertex.c.av
File "is_successorless_vertex_c.jc", line 110, characters 44-226: typing error: numeric, boolean or pointer types expected for == and !=
[av] User Error: AstraVer subprocess failed:   astraver    -v       -locs is_successorless_vertex_c.cloc is_successorless_vertex_c.jc
[kernel] Plug-in av aborted: invalid user input.

Files

Download all files
is_successorless_vertex.c (512 Bytes) is_successorless_vertex.c Denis Efremov, 01/09/2020 07:23 PM
graph.h (1.05 KB) graph.h Denis Efremov, 01/09/2020 07:23 PM

No data to display

Actions
Copy link

Also available in: Atom PDF