dependable-ai / nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks
GNU Affero General Public License v3.0
34 stars 9 forks source link

Octagon not yet supporting BN #35

Open chengchihhong opened 5 years ago

chengchihhong commented 5 years ago

In the static analysis engine, with the start of octagon, is written that it will always fetch the weight.

for layerIndex in range(1, len(net.layers)+1):

in neuralnet.py for storing weights, the index starts with 0

        weights = net.layers[layerIndex-1]["weights"]
        bias = net.layers[layerIndex-1]["bias"]

This should be adjusted such that it takes different values based on different layers.