program-slicing

1熱

1答えて

私はPrologで以下のコードを使用していますが、コードを実行するとすべてのデータに対して同じ結果が返されるという問題があります。 ?- run(Diagnosis). Diagnosis='There is no problem with anemia'. キロバイトは別のファイルであり、それをロードし、開始述語に私には、例えばpatient3をロードし、コードが正しく動作する場合にのみチ

2熱

1答えて

「到達不能なエントリポイント」というメッセージは何を意味していますか？

私はいくつかのACSLアサーション（file.c）を含むファイルを持っている：私はコマンドを使用して、すべてのアサーションのためにスライスしたい #include <stdio.h> #include <stdlib.h> void foo() { int a=0; //@ assert(a==0); } void print(const char* text) {

1熱

2答えて

特定の単語を見つけ、その単語の後にPythonで読む

私は非常に非常にPythonに新しいです。には基本的なヘルプが必要です。私のロジックは、テキストファイル内の単語を見つけることです。 party A %aapple 1 Party B %bat 2 Party C c 3 ％から始まるすべての単語を見つける必要があります。私のコードは searchfile = open("text.txt", "r") for line in s

2熱

1答えて

Einstein Riddle using Prolog

私はPrologを使用してアインシュタインの謎を解こうとしています。私が家（Hs）で走ってみると、いいえ。タスクは赤い家に住んでいます。スウェーデンはペットとして犬を飼っています。デーンはお茶を飲みます。緑の家は白い家のすぐ左です。グリーンハウスのオーナーはコーヒーを飲みます。ポールモールを吸うオーナーは鳥を飼育します。イエローハウスの所有者がダンヒルを吸う。センターハウスに住むオ

0熱

1答えて

frama-cに欠けている機能のコードを追加する

私の無知を許してください。プロジェクトのバックワードスライスを計算する必要があります。いくつかの検索の後、私はframa-cに出くわしました。私はFrama-cバージョン：Fluorine-20130601を入手した私のubuntuシステムにパッケージをダウンロードしました。私は初めてそれを使用しようとしています。私のプロジェクトで未定義の関数を見つけ出すと、ほとんどすべてのライブラリ関数は未定義

1熱

1答えて

インデックスとスライスを使用したネストされたリスト

以下の回答を得るには、このリストをスライスまたはインデックスに登録するにはどうすればよいですか？私は複数のスライス方法を試してきましたが、何も私のために働いていません。 L = [0, [], [1,2,3,4], [[5],[6,7]], [8,9,10]] newL = [L[0],L[2][1],L[2][2],L[3][0]] 回答：[0、2、3、[5]、[6]、8、10] 、NEW

1熱

1答えて

Frama-cでCコードをスライス

私はframa-cで示されている未使用の変数をスライスしたいと思います。しかし、私はラインコマンドは考えが、私はhttps://frama-c.com/slicing.htmlに述べたように、1つのコマンドライン Last login: Thu Nov 9 20:48:42 on ttys000 Recep-MacBook-Pro:~ recepinanir$ cd desktop Recep

3熱

1答えて

Ubuntu 14.04でFrama-c用のImpact Analysisプラグインをインストールするには？

私は、次のコマンドを使用して、Ubuntuの14.04でFRAMA-Cをインストール： sudo apt-get install frama-c しかし、私は次のコマンドを使用してFRAMA-CのGUIを開くとき： frama-c-gui を私は見つけることができません左側のウィンドウに "Impact Analysis"プラグインがあります。この図は私のFRAMA-Cの現在利用可能なプ