program-slicing

1зной

1ответ

Пролог терпит неудачу, не пытаясь любой из RHS правила

У меня есть этот код: res([],M,M). res([[A,B]|G],inM,M) :- dfs(A, [[A,B]|G], [], [], Out), processResponse(Out,inM,M1), dfs(B, [[A,B]|G], [], [], Out2), processResponse(Out2,M1,M2

2зной

1ответ

Нарезка с использованием frama-c

Я использую frama-c, чтобы сделать некоторые эксперименты по нарезке программ. Инструмент замечательный, и есть много разных типов нарезки (например, по результату или по заявлению). Я использую струк

1зной

1ответ

распространение рампы-c: «Утверждение получило статус недействительным»

Я хочу нарезать файл test.c для всех утверждений. test.c выглядит следующим образом: #include <stdlib.h> typedef struct { float r; float g; float b; } Color; typedef struct {

2зной

1ответ

Нарезка для нескольких утверждений

Возможно ли использовать плагин для резки Frama-C для разрезания для более чем одного утверждения? E.g. с учетом следующего кода: #include "assert.h" int main() { double a=3; double b=4;

2зной

2ответ

Логическая головоломка в Prolog - используя списки

Я пытаюсь решить следующую проблему в Prolog, и я думаю, что я правильно ее закодировал, но мои запросы просто возвращают false. Любые советы о том, что изменить? Проблема заключается в следующем:. «Б

2зной

1ответ

Что означает сообщение «недоступная точка входа»?

У меня есть файл, содержащий несколько утверждений ACSL (file.c): #include <stdio.h> #include <stdlib.h> void foo() { int a=0; //@ assert(a==0); } void print(const char* text) { i

2зной

1ответ

Эйнштейн Загадка с использованием Пролога

Я пытаюсь решить загадку Эйнштейна с помощью Пролога. Когда я пытаюсь управлять домами (Hs), это показывает № Задача Британия живет в красном доме. Швед держит собак в качестве домашних животных. Датч